News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.