[FOM] Ordinal notation calculator and research tool

Paul Budnik paul at mtnmath.com
Mon Aug 6 11:00:29 EDT 2012

Version 0.3.2 of the ordinal calculator is available 
atwww.mtnmath.com/ord <http://www.mtnmath.com/ord>and 
atsourceforge.net/projects/ord <https://sourceforge.net/projects/ord>. 
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.

Paul Budnik
www.mtnmath.com <http://www.mtnmath.com>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20120806/7b0c2d4e/attachment.html>

More information about the FOM mailing list