Miniatura

Fitxers

memoria.pdf (288.78 KB)

Tipus de document

Treball de fi de grau

Data de publicació

2018-01-19

Llicència de publicació

cc-by-nc-nd (c) Jordi Bargalló Jiménez, 2018
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/122503

L’ombra del programa de Hilbert

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

[en] The Hilbert’s program is one of the most important contributions of on the foundations of mathematics. Hilbert was looking with his program to formalize in a exact and precise way the foundations of mathematics. He did not get with the results but all of the questions that arose led to great math minds, like de Kurt Gödel o Alan Turing among other people, to get huge contributions in this field. Gödel’s incompleteness theorems changed the thinking of Hilbert and put an end to the Hilbert program, or at least to the approach that he and his disciples were chasing until then. Turing defined the notion of Computability in a clear and rigorous way with his machines later known around the world as Turing machines. Two very different characters,with different histories and theories, that had mu- tual intellectual admiration but never agreed physically or by correspondence. The passage of time has proved that there were many things in common in their teories. Currently, the Hilbert’s program continues to occupy an important place in the search for mathematical logic at the moment. The importance of having a solid foundation for the construction of our science is not just an issue that worries many mathematicians, but that is actually an essential topic for philosophical thought as the philosophy and logic go many times hand in hand in this path to the human mind.

Descripció

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

Matèries

Lògica matemàtica, Treballs de fi de grau, Teoria de la prova, Funcions computables, Màquines de Turing

Matèries (anglès)

Mathematical logic, Bachelor's theses, Proof theory, Computable functions, Turing machines

Citació

Col·leccions

Treballs Finals de Grau (TFG) - Matemàtiques

Citació

BARGALLÓ JIMÉNEZ, Jordi. L’ombra del programa de Hilbert. [consulta: 23 de gener de 2026]. [Disponible a: https://hdl.handle.net/2445/122503]

Exportar metadades

JSON - METS

Compartir registre