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 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 |
URI: | http://hdl.handle.net/2445/166541 |
Appears in Collections: | Treballs Finals de Grau (TFG) - Matemàtiques |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
166541.pdf | Memòria | 575.4 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License