Solució de Löb al problema de Henkin

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.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.identifier.uri	https://hdl.handle.net/2445/166541
dc.language.iso	cat	ca
dc.rights	cc-by-nc-nd (c) Roger Vidal Agraz, 2020
dc.rights.accessRights	info:eu-repo/semantics/openAccess	ca
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

Fitxers

Mostrant 1 - 1 de 1