| 释义 |
Hilbert's programme In the early 20th century, Hilbert's formalist school of mathematics sought to resolve current issues with the foundations of mathematics by grounding all areas of mathematics with finite, complete sets of axioms. This was essentially proven impossible by Gödel's Incompleteness Theorems, though proof theory might be seen as a natural extension of the programme's aims.
|