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

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

Branch: pkgsrc-2017Q2, 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.


Required to run:
[devel/gmp]

Master sites:

SHA1: 6b3e1e5b714cc50d1e2c48b8f06b8dd41fbde134
RMD160: caf9c89a2a54fe3e5414cb7f1e1a4e1d4aad0397
Filesize: 1097.188 KB

Version history: (Expand)