./math/ordCalc, Ordinal arithmetic calculator and research tool

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: pkgsrc-2022Q3, Version: 0.2nb7, Package name: ordCalc-0.2nb7, Maintainer: is

OrdCalc
An interactive tool to understand the recursive ordinals

'ord' is a program for understanding the recursive ordinals.
It has a command line interpreter resembling command line calculators.

See 'ordCalc.pdf' for a brief description of how to use the interpreter.
See 'ordinal.pdf' for a description of the structure of the program and the
theory on which it is based.

Master sites:

Filesize: 1097.188 KB

Version history: (Expand)