Hilbert's program

David Hilbert had famously suggested to find a finite set of axioms to serve as a foundation for all of mathematics.

The original version of Hilbert’s program was overthrown by Gödel's incompleteness theorem. But suitable variants of it persist, see at *proof theory*

- Wikipedia
*Hilbert’s problem*

Created on June 14, 2016 at 12:01:05. See the history of this page for a list of all contributions to it.