RT info:eu-repo/semantics/bachelorThesis
T1 Recorrido por las diferentes versiones del teorema de incompletitud de Kurt Gödel
A1 Pérez Calvo, María
A2 Universidad de Valladolid. Facultad de Filosofía y Letras
K1 Kurt  Gödel
K1 Incompletitud
K1 72 Filosofía
AB En  el  presente  trabajo  se  ofrece  un  recorrido  explicativo  por  las diferentes versiones del Teorema de Incompletitud presentado por el lógico Kurt Gödel. La primera será la más sencilla, la cual se demuestra a través del teorema propuesto por Tarski. En segundo lugar veremos una demostración de incompletitud para un sistema aritmético  básico  con  suma,  multiplicación  y  exponenciación,  para  posteriormente demostrar que es posible llevar a cabo la demostración en un sistema equivalente que prescinde de la exponenciación. Mostraremos también la demostración de Gödel para los sistemas  que  él  denominará  m-consistentes  y  finalizaremos  con  la  demostración  de incompletitud que ofrece Rosser a través de una nueva fórmula diferente a la empleada por Gödel.
YR 2019
FD 2019
LK http://uvadoc.uva.es/handle/10324/39831
UL http://uvadoc.uva.es/handle/10324/39831
LA spa
NO Departamento de Filosofía (Filosofía, Lógica y Filosofía de la Ciencia, Teoría e Historia de la Educación, Filosofía Moral, Estética y Teoría de las Artes)
DS UVaDOC
RD 20-sep-2024