Wittgensteins Interpretation on Godels Incompleteness Theorem

Abstract

In Wittgenstein's Appendix I to Remarks on the foundations of mathematics, Wittgenstein argues against Gödel's incompleteness theorem: the philosopher intends to reevaluate the gödelian conclusion according to which there is true formulae that are not provable in formal systems capable of representing a sufficient quantity of arithmetic theory. The current project intends to evaluate the different interpretations on Wittgenstein in this appendix, emphasizing its relations with the mathematical reasoning of Gödel's proof and non-standard interpretations of arithmetic.