2026-09-19 19:31 UTC
Hilbert wanted an algorithm to solve all mathematical problems.
Turing showed it doesn't exist.
But then we have it now, after all, and most mathematicians are upset as a result.
Replies (1)
-
@gabriel@col.social 2026-09-20 02:45
@MartinEscardo@mathstodon.xyz you ment Gödel?