Ordinal calculator and research tool
Version 0.3.0 beta Released
This release extends the ordinal hierarchy by a nested form of ordinal
collapsing or projection using a generalization of recursive notations applied
to larger countable ordinals.
- Interactive tool to understand the recursive and larger
countable ordinals
- Ordinal arithmetic calculator
- A research tool to investigate and expand the ordinal
hierarchy
- Supports the Veblen hierarchy and a form of ordinal collapsing
for large recursive ordinals
- The
Microsoft Windows version is available as a standard installation
or a stand alone executable you can use without
installation. It runs on Windows versions staring with XP and on
the Wine emulator.
- The source code should build
on most Linux and many Unix systems and Windows XP and later with Visual C++.
- LaTeX output option
- Source code licensed for use and distribution under the GNU General Public
License version 2 and later
-
The GNU LGPL license version 3 also applies to the executables.
Download ordCalc_0.3.0 beta
This should build on most Linux and many Unix development systems and on
Microsoft Windows Visual C++.
The Linux build requires the MPIR and readline packages.
If these are not installed on your Linux system you may be able to install
them with the superuser
command:
yum install mpir-devel readline-devel
The Microsoft Visual C++ build only requires the
MPIR libraries, but
you probably have to build the libraries.
The automated testing on Windows (but not the build)
requires that
Cygwin be
installed.
This package includes full documentation in PDF format and
the LaTeX source.
Install program and documentation on Windows
(ordInstall.exe 1.4M)
This installs on Windows
XP and later and the Wine emulator. It includes all documentation.
This runs on Windows XP and
later and the Wine emulator. It includes all documentation.
Download documentation
All documentation is included in all of the above downloads.
Use the following links for documentation
only.
User's manual -- "Using the ordinal calculator:
For ordCalc 0.3"
(ordCalc.pdf 180K)
This is mostly a LaTeX formatted version of the online documentation
for the ordinal calculator.
Program description and underlying
mathematics --
"A Computational Approach to the Ordinal Numbers: Documents ordCalc 0.3"
(ordinal.pdf 1.2M)
This document describes and references the mathematics on which the
program is based. It also documents the program structure.
It includes the user's manual as an appendix and
contains a unified index and table of contents for both documents.
Please send comments and problem reports to ord@mtnmath.com.