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.
The Numbering Peano Blog has been restored to operation. There are some clean-up activities as part of incident-response testing, but the Blog is now available. See the Site Status summary for related information.