Mathematical truth, an objective account of subjectivity

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, we consider the Incompleteness Theorems and Goedel's views, and use this to argue against mathematical Platonism.