Java Project J040601 com.orcmid.LLC.pa.pn Peano Numerals Project

com.orcmid> LLC>pa>pn> J040601> 0.00 2004-09-18 -13:49 -0700

This Java Project is for the development of the com.orcmid.LLC.pa.pn Peano Numerals package.  This package will consist of

• The com.orcmid.LLC.pa.pn.Num interface definitions, and other interfaces as that may be involved
• A Reference implementation for objects that deliver the Num interface and satisfy the interface contract
• Demonstration applications that make use of Peano numerals through the contracted interface
• Documentation for all elements of the package, along with the development history
• Source code, compiled classes, and material for reproducing and confirming the provenance, construction and operation of the package

This Java Project addresses the manifestation of Peano Numbers as a software-development problem.  A number of software-development principles are illustrated in carrying out the project.

For a broader discussion of the nature of abstraction and interface agreements from a linguistic and philosophical perspective about "meaning" of interfaces, there is a web log on Numbering Peano.   The Java project presents the computational demonstration of the concepts.  The web log presents a higher-level view that uses creation of these materials to demonstrate where interface contracts do and do not live. 

This project is currently in a pre-ALPHA experimental, exploratory and ALPHA prototype state.

Current Material

• J040601a: Peano Numerals Project Diary

Related Material

• Numbering Peano web log discussion
• Miser-Theory Numbering Peano Discussion Project
• com.orcmid.LLC.pa.pn ALPHA Materials for experimental development of package elements

0.00 2004-06-12-11:33 Kick Off Project Record (orcmid)

Create as the hub project for all of the particles that will be managed to make Peano Numbers as a deliverable package.  Provide initial description.