News for hackers. Stuff that matters.
Re:The Foundations of Mathematics (2007) [pdf] by pron on Saturday January 06, 2018 @06:01AM (#16084748)
> You do work in a particular encoding when you mention yero, at least.

That encoding is completely opaque, though. You have no way of knowing what are the members of zero.

There are no comments on this comment yet.