Teoremas de Incompletitud de Gödel
Era: Teoría Temprana · años 1930–años 1950
Kurt Gödel publicó sus teoremas de incompletitud, demostrando que cualquier sistema formal lo suficientemente potente contiene proposiciones que no pueden probarse ni refutarse dentro del propio sistema. Este descubrimiento no sólo conmocionó a la comunidad matemática, sino que también tuvo profundas implicaciones para la teoría de la computación y la inteligencia artificial.
Kurt Gödel (1906–1978)
Fuentes y respaldo
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Springer · Tipo de fuente: paper
Gödel’s 1931 paper establishes the first incompleteness theorem.
Publicado: ·Consultado: