Events Tagged: "metamathematics"

Hilbert proposes his program to prove consistency of mathematics using finitary methods

Gödel proves completeness theorem for first-order logic in his doctoral dissertation

Kurt Gödel publishes his Incompleteness Theorems, proving that any consistent formal system containing arithmetic is incomplete