nLab
Hilbert's program

Contents

Idea

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

References

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