Amb motiu del tancament d'estiu, la validació de documents es reprendrà a partir del 28 d'agost de 2026. Disculpeu les molèsties.
Con motivo del cierre de verano, la validación de documentos se reanudará a partir del 28 de agosto de 2026. Disculpad las molestias
Due to the summer closure, document validation will resume starting August 28, 2026. We apologize for any inconvenience.

Files

tfg_navarro_borraz_iris.pdf (635.12 KB)

Document type

Bachelor thesis

Publication date

2022-01-24

Publication license

cc-by-nc-nd (c) Iris Navarro Borraz, 2022
Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/186676

Matemàtiques: una ciència incompleta

Journal Title

Authors

Director/Tutor

Journal ISSN

Volume Title

Related resource

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.

Description

Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2022, Director: Joan Bagaria

Subject

Filosofia de la matemàtica, Treballs de fi de grau, Decidibilitat (Lògica matemàtica), Teorema de Gödel

Subject (English)

Philosophy of mathematics, Bachelor's theses, Decidability (Mathematical logic), Gödel's theorem

Citation

Collections

Treballs Finals de Grau (TFG) - Matemàtiques

Citation

NAVARRO BORRAZ, Iris. Matemàtiques: una ciència incompleta. [consulted: 10 of August of 2026]. Available at: https://hdl.handle.net/2445/186676

Export metadata

JSON - METS

Share record