Orcmid's Lair

com.orcmid.LLC.pa.pn ALPHA
Peano Numerals


2010-04-02 -20:20 -0800

You've reached the ALPHA development section for illustration of Peano Numerals (pn) as part of a treatment of Peano Arithmetic in computational terms.  This is a careful software implementation that implements an abstraction of Peano numbers.  The abstract theory can be thought of as one source of requirements for the implementation(s):

The ALPHA section is for material that is provisional, subject to change without notice, and is not yet incorporated in Java packages.  This material is sufficient for provisional usage and bootstrapping up to a packaged level, either a BETA package or a plane-versioned release.  (The use of capitals is to alert users of the material to their highly-provisional and experimental nature.)

Project materials provide additional information:

There will be further projects and materials introduced from time to time.  The overall Peano Numerals section and the projects there provide the essential roadmap and account for what is available.

This web page, index.htm, is part of the engineering, construction management, maintenance, and infrastructure of Orcmid's Lair.  It is placed here, as in every section of the site, as a placeholder, initial scaffolding, and temporary "home page" while the section is under construction.  That can be for an extended time.  

You are welcome to explore this and other construction-information pages.   You'll need your hard hat and safety shoes.

Construction Zone (Hard Hat Area)

You are navigating the 
Orcmid's Lair construction structure

created 2004-05-27 12:54 -0700 (pdt) by orcmid
$$Author: Orcmid $
$$Date: 14-01-31 19:11 $
$$Revision: 30 $