This should build on most Linux or Unix development systems and on
Windows systems with CYGWIN
installed. The build requires the GMP and readline packages.
If these are not installed on you system you may be able to install
them with the command yum install gmp readline. This
package includes the LaTeX source for all the documentation and the
PDF documents generated from this source.
Download documentation
All documentation is included in both the Windows installer and
source code downloads. Use the following links for documentation
only downloads.
This document describes and references the mathematics on which the
program is based. It also documents the program structure. This
program was developed in the expectation that a programming
approach to the ordinal numbers will eventually lead to an
expansion of the foundations of mathematics. Thus it is hoped that
others will consider expanding this program to larger ordinals.
Please send comments and problem reports to ord@mtnmath.com.
This code was built for Windows using CYGWIN. If you have installed CYGWIN on
your Windows system, you may need to exit other CYGWIN applications
to use this program because CYGWIN dlls from different versions may
be incompatible. (You should be able to rebuild under your version
of CYGWIN with the source code distribution.)