Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorCasanovas Ruiz-Fornells, Enrique-
dc.contributor.authorVidal Agraz, Roger-
dc.descriptionTreballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2020, Director: Enrique Casanovas Ruiz-Fornellsca
dc.description.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
dc.format.extent35 p.-
dc.relation.isbasedonTreballs Finals de Grau (TFG) - Matemàtiques-
dc.rightscc-by-nc-nd (c) Roger Vidal Agraz, 2020-
dc.subject.classificationLògica de primer ordreca
dc.subject.classificationTreballs de fi de grau-
dc.subject.classificationTeorema de Gödelca
dc.subject.otherFirst-order logicen
dc.subject.otherBachelor's theses-
dc.subject.otherGödel's theoremen
dc.titleSolució de Löb al problema de Henkinca
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