Abstract
Goedel published his Incompleteness Theorems in 1931. His paper marked the end of a search for axiomatic completeness, and the start of a new era of proof theory. To Goedel, his work was foremost a justification as well as a consequence of his Platonic view of mathematics. In this thesis,
... read more