Please use this identifier to cite or link to this item:
Title: Solució de Löb al problema de Henkin
Author: Vidal Agraz, Roger
Director/Tutor: Casanovas Ruiz-Fornells, Enrique
Keywords: Lògica de primer ordre
Treballs de fi de grau
Teorema de Gödel
First-order logic
Bachelor's theses
Gödel's theorem
Issue Date: 19-Jan-2020
Abstract: [en] Inspired by Gödel’s work, Henkin presented in 1952 the following problem: In any standard formal system of first-order arithmetic, a formula can be constructed which expresses that itself is provable. Is this formula provable? Or is it independent? In this thesis all the necessary tools to build the proof that Löb shared 3 years after answering affirmatively Henkin’s question are studied.
Note: Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2020, Director: Enrique Casanovas Ruiz-Fornells
Appears in Collections:Treballs Finals de Grau (TFG) - Matemàtiques

Files in This Item:
File Description SizeFormat 
166541.pdfMemòria575.4 kBAdobe PDFView/Open

This item is licensed under a Creative Commons License Creative Commons