Re:Calculus Is Deeply Irrational
by OscarCunningham on Wednesday August 21, 2019 @02:29AM
(#20754975)
You can't define definability, because otherwise you could talk about the "least natural number not definable in fewer than n symbols" which is a contradiction for sufficiently large n.
[ Parent
| on HN ]
There are no comments on this comment yet.