Bagaria, JoanNavarro Borraz, Iris2022-06-162022-06-162022-01-24https://hdl.handle.net/2445/186676Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2022, Director: Joan Bagaria[en] The present paper aims to show the consequences of Gödel’s incompleteness theorems on the foundations of mathematics and on the philosophy of mathematics. It has three sections. The first section shows the triggers of the stage known as ”the crisis in the foundations” as well as the two main philosophical currents that emerged in it: logicisim and formalism. In the second section, Gödel’s incompleteness theorems are presented as they were originally presented by adding comments that try to explain the different steps of the proof. This section also shows the subsequent advances that allowed enunciating them as we know nowadays. Finally, the third section tries to analyze the consequences that these two theorems had.35 p.application/pdfcatcc-by-nc-nd (c) Iris Navarro Borraz, 2022http://creativecommons.org/licenses/by-nc-nd/3.0/es/Filosofia de la matemàticaTreballs de fi de grauDecidibilitat (Lògica matemàtica)Teorema de GödelPhilosophy of mathematicsBachelor's thesesDecidability (Mathematical logic)Gödel's theoreminfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/openAccess