[FOM] Ordinal notation calculator and research tool
paul at mtnmath.com
Mon Aug 6 11:00:29 EDT 2012
Version 0.3.2 of the ordinal calculator is available
This is a tutorial and research tool for understanding and perhaps
expanding the ordinal hierarchy by using computers to help to manage the
complexity of these structures.
An overview of the ordinal calculator
<http://www.mtnmath.com/ord/ordinalarith.pdf>, that benefits from
reviewer feedback, is also available. The last section on "Mathematical
Truth" has been rewritten. It describes the motivations for this
project. As context, it gives the widely divergent views of three
logicians, none of whom thinks the continuum hypothesis is objectively
true or false, although one thinks it is both in different Platonic
universes. I argue there is an element of truth to all three views.
This release corrects the overly aggressive nested embed notation which
allowed an infinite descending sequence. It has expanded documentation
and fixes other minor problems.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the FOM