Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/166541Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | Casanovas Ruiz-Fornells, Enrique | - |
| dc.contributor.author | Vidal Agraz, Roger | - |
| dc.date.accessioned | 2020-06-25T08:31:37Z | - |
| dc.date.available | 2020-06-25T08:31:37Z | - |
| dc.date.issued | 2020-01-19 | - |
| dc.identifier.uri | http://hdl.handle.net/2445/166541 | - |
| dc.description | Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2020, Director: Enrique Casanovas Ruiz-Fornells | ca |
| 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 studied. | ca |
| dc.format.extent | 35 p. | - |
| dc.format.mimetype | application/pdf | - |
| dc.language.iso | cat | ca |
| dc.rights | cc-by-nc-nd (c) Roger Vidal Agraz, 2020 | - |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | * |
| dc.source | Treballs Finals de Grau (TFG) - Matemàtiques | - |
| dc.subject.classification | Lògica de primer ordre | ca |
| dc.subject.classification | Treballs de fi de grau | - |
| dc.subject.classification | Teorema de Gödel | ca |
| dc.subject.other | First-order logic | en |
| dc.subject.other | Bachelor's theses | - |
| dc.subject.other | Gödel's theorem | en |
| dc.title | Solució de Löb al problema de Henkin | ca |
| dc.type | info:eu-repo/semantics/bachelorThesis | ca |
| dc.rights.accessRights | info:eu-repo/semantics/openAccess | ca |
| 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
