Miniatura

Fitxers

166541.pdf (575.4 KB)

Tipus de document

Treball de fi de grau

Data de publicació

2020-01-19

Llicència de publicació

cc-by-nc-nd (c) Roger Vidal Agraz, 2020
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/166541

Solució de Löb al problema de Henkin

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

[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.

Descripció

Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2020, Director: Enrique Casanovas Ruiz-Fornells

Matèries

Lògica de primer ordre, Treballs de fi de grau, Teorema de Gödel

Matèries (anglès)

First-order logic, Bachelor's theses, Gödel's theorem

Citació

Col·leccions

Treballs Finals de Grau (TFG) - Matemàtiques

Citació

VIDAL AGRAZ, Roger. Solució de Löb al problema de Henkin. [consulta: 24 de gener de 2026]. [Disponible a: https://hdl.handle.net/2445/166541]

Exportar metadades

JSON - METS

Compartir registre