Shouldn't real dinosaurs (real as in MTV Real Life) calculate using only
the Peano Axioms and the unary system? I mean, the natural numbers and
the peano axioms are nature given / god given (choose whatever you like)
and every human before homo sapiens had only the cognitive capabilities
to use the unary system: “Hey, I saw ||||| deer, let's go hunt them.”
“Oh no, I saw ||| lions, they would kill us.”
Slide-Ruler? Calculator? Hole cards?
--------------------------------------------------
Subscriptions, Archive, and List information, etc.:
http://tug.org/mailman/listinfo/xetex