Hilbert’s Entscheidungsproblem and the dream of deciding everything
David Hilbert asked whether a finite procedure can decide any mathematical statement; the negative answer opened computability theory.
1 articles
Hilbert
Index of editorial tags and filtered coverage.