Discussion about this post

User's avatar
lcamtuf's avatar

Another possible (if markedly less likely) outcome is that all the proofs by contradiction eventually get us so far from intuition than the system collapses and the constructivist school of mathematics makes a triumphant comeback.

It would be cool to witness, but I think that mathematicians sort of relish in these kinds of results.

Expand full comment
Iustin Pop's avatar

me → this article → (woosh). Or at least after the "A constrained-instruction computer" part.

Expand full comment
3 more comments...

No posts