/astraendo
index.htm>
2004-06-05-13:18 -0700
|
|
/astraendo |
|
You've reached The Miser Project /astraendo
section. This section is an experiment with web logs and their archives
for communal articulation of the role of abstraction in computational systems
and their application. The inspiration for that is an insight that Ward
Cunningham put into the blogosphere. It is also designed to
provide, in a crude way, a demonstration of collaborative articulation using
web logs.
Astraendo is the Italian gerund, "abstracting," including in the sense of "taking away." I chose that in honor of Giuseppe Peano, even though his groundbreaking work in the axiomatization of mathematics was written in Latin, which he was inspired to adapt as a precise language (without the grammar) for expression of mathematics. This might be viewed as an early attempt at The Semantic Web, to some a cyber-age version of Liebnitz's Dream writ large.
The initial conversation here is about Peano's arithmetic as a demonstration of abstraction in computation and the role of syntax, semantics, and the situation of meaning.
- The current conversation:
- Numbering Peano
In conjunction with the discussions, there are notes on the topics and collateral materials. These are not a substitute for Miser Project notes. The astraendo notes are best thought of as resources that may be distilled into Miser Project notes and other writings later on.
This web page, index.htm,
is part of the engineering, construction management, maintenance, and infrastructure of
The Miser Project web. You are welcome to explore this and other
construction-information pages. You'll need your hard hat and safety shoes.
|
You are navigating a Miser Project construction structure. |
created
2004-05-31-08:20 -0700 (pdt) by orcmid |