Please use this identifier to cite or link to this item: http://hdl.handle.net/2445/166541
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 thesis
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
URI: http://hdl.handle.net/2445/166541
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