nLab Hilbert's program

Contents

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

Last revised on May 20, 2021 at 09:38:29. See the history of this page for a list of all contributions to it.