Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
Sound, semantically complete, categorical theory of arithmetic
Replies:
12
Last Post:
Jun 13, 2013 8:24 PM




Re: Sound, semantically complete, categorical theory of arithmetic
Posted:
Jun 10, 2013 6:01 PM


On Jun 11, 12:30 am, Peter Percival wrote: > I think I am an Elephant, > Behind another Elephant > Behind /another/ Elephant who isn't really there.... > A.A. Milne >
http://phpprolog.com/natssdog.png
Herc



