Numbering Peano: Annotating Peano Numbers

Numbering Peano

Collaborative articulation of how abstraction and language is employed in the computational manifestation of numbers -- including analysis of the role of syntax, semantics, and meaning in the specification and use of software interfaces.

Atom Feed

Associated Blogs
Edge City
Orcmid's Lair
Praxis101
Prof. von Clueless in the Blunder Dome

Recent Items

Archives
2004-05-30
2004-06-06
2004-06-13
2004-06-27
2004-08-22
2004-08-29

2004-06-01

Annotating Peano Numbers

This is a new blog created specifically for a collaborative-articulation project. The idea is to develop an understanding of abstraction, syntax, semantics, and meaning of programming-language interfaces. We will undertake that using a concrete manifestation of Peano Numbers. This will also be revealing about the application of mathematical abstractions in connection with engineered artifacts -- computers and programs -- and their behavior.

This post is simply to prime the pump and ensure that everything is working properly.

posted by orcmid at 6/1/2004 12:21:00 AM

Comments:

What's not working right now is publishing of the archive index. I need to put a placeholder there until I can figure out how to get the index published.

# posted by orcmid: 6/1/2004 01:00:11 AM

Problem solved, sort of. Blogger is dropping the separate archive-index page in favor of providing for an in-line index on the blog pages. You can see it in the left column of this page, below the links. So new blogs don't have the separate-index feature, although my older one does (fortunately). Fortunately, Numbering Peano will not have an extended life and I should be able to avoid the index becoming too long and undertaking whatever changes are introduced when it is discovered/remembered that the on-page index doesn't scale.

# posted by orcmid: 6/1/2004 06:46:56 AM