Teoremas de incompletitud de Gödel
dos teoremas de lógica matemática / De Wikipedia, la enciclopedia encyclopedia
Estimado Wikiwand AI, Seamos breves simplemente respondiendo estas preguntas clave:
¿Puede enumerar los principales datos y estadísticas sobre Teoremas de incompletitud de Gödel?
Resumir este artículo para un niño de 10 años
MOSTRAR TODAS LAS PREGUNTAS
Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1931. Ambos están relacionados con la existencia de proposiciones indecidibles en ciertas teorías aritméticas.