Ordinal arithmetic calculator and research tool
Version 0.2.0 beta Released
- Interactive tool to understand the recursive and larger
countable ordinals
- Ordinal arithmetic calculator
- A research tool for investigating and expanding the ordinal
hierarchy
- Supports the Veblen hierarchy and a form of ordinal collapsing
for larger recursive ordinals
- Recursive ordinal notations through and beyond the
Bachmann-Howard ordinal
- An analogue to recursive ordinal notations for larger countable
ordinals
- LaTeX output option
- Licensed for use and distribution under the GNU General Public
License version 2
Download ordCalc_0.2.0 beta
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.
This should work on most windows versions starting with Windows
2000. (See note below.)
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.
Patch
Some problems have been encountered in this release in validation under
NetBSD and they may affect other operating systems. These only affect the
validation output and not the functioning of the ordinal calculator itself.
A contributed patch and instructions to fix the problem can be downloaded
as: patchRelease.txt and
patch1.
Note for Microsoft Windows users
The Microsoft Windows version of this program has a known problem
with line editing. All other features of the program work and it
passes all validation tests, but you cannot edit what you have
already typed on a line. If you have CYGWIN installed you can fix
this problem by installing ord.exe in the CYGWIN bin directory. You
may need to rebuild ord.exe under your version of CYGWIN
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.)