Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/186676
Title: | Matemàtiques: una ciència incompleta |
Author: | Navarro Borraz, Iris |
Director/Tutor: | Bagaria, Joan |
Keywords: | Filosofia de la matemàtica Treballs de fi de grau Decidibilitat (Lògica matemàtica) Teorema de Gödel Philosophy of mathematics Bachelor's theses Decidability (Mathematical logic) Gödel's theorem |
Issue Date: | 24-Jan-2022 |
Abstract: | [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. |
Note: | Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2022, Director: Joan Bagaria |
URI: | http://hdl.handle.net/2445/186676 |
Appears in Collections: | Treballs Finals de Grau (TFG) - Matemàtiques |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
tfg_navarro_borraz_iris.pdf | Memòria | 635.12 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License