Casanovas Ruiz-Fornells, EnriqueVidal Agraz, Roger2020-06-252020-06-252020-01-19https://hdl.handle.net/2445/166541Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2020, Director: Enrique Casanovas Ruiz-Fornells[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.35 p.application/pdfcatcc-by-nc-nd (c) Roger Vidal Agraz, 2020http://creativecommons.org/licenses/by-nc-nd/3.0/es/Lògica de primer ordreTreballs de fi de grauTeorema de GödelFirst-order logicBachelor's thesesGödel's theoreminfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/openAccess