Orcmid's Lair

Java com.orcmid.LLC.pa
Peano Arithmetic


2010-04-02 -20:20 -0800

You've reached the Java package section for illustration of Peano Arithmetic (pa).  

It is a peculiar characteristic of PA that it is the term use for the logical theory in which numbers and logical aspects of arithmetic are formalized.  This level is reserved for a theoretical treatment and to address what is meant about an arithmetic in mathematics, computation, and logic.

To deal with instances of arithmetics themselves, we make separate introduction of Peano Numerals which can be interpreted as manifestations of the Numbers about which arithmetic is conducted. Peano Numbers are in some sense what PA (the theory) speaks of as theoretical entities, and Peano Numerals are (usually formal) manifestations of them.

We manifest Peano Numbers in a subordinate section, just in case there is need for more-abstracted and theoretical framework at an intervening level.  The idea would be to deal with the Peano Arithmetic logical system here, if that is called for.

Subordinate Packages

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-23 12:08 -0700 (pdt) by orcmid
$$Author: Orcmid $
$$Date: 14-01-31 19:11 $
$$Revision: 39 $