Gödel 1931: incompletitud y límites del formalismo
Los teoremas de incompletitud de Kurt Gödel mostraron que ningún sistema formal suficientemente rico puede capturar toda la verdad aritmética.
1 artículos
Índice de etiquetas editoriales y cobertura filtrada.