# Gödel, máquinas de Turing y la pregunta de qué queda fuera

INTERLOCUTOR (pregunta editorial) — ¿Qué ocurre si intento ampliar indefinidamente un sistema formal para incluir las afirmaciones que antes no podía decidir?
LECTURA DEL DIÁLOGO (síntesis editorial) — El hilo de Iván no consiste en repetir que Gödel o Turing «demostraron límites» y detenerse ahí. Desde intercambios de 2015 y desarrollos posteriores se pregunta qué ocurre cuando una construcción formal intenta cerrar su universo, decide qué pertenece al dominio y qué debe quedar fuera, y luego amplía esa frontera. Distingue la indecidibilidad dentro de un sistema de la aparición de elementos desde un metadominio que el propio sistema tendría que reconocer para rechazarlos. Por eso trabaja con extensiones sucesivas de propiedades, validadores y máquinas, y con la idea de una «explosión lenta»: las incompatibilidades pueden contaminar gradualmente un sistema en uso, no aparecer como una contradicción espectacular en la primera línea. El problema de proyección no equivale sin más a Gödel, Turing o Russell; el propio Iván ha corregido reiteradamente esa equiparación. La ficha conserva una pregunta de investigación matemática que requiere pruebas formales, no un teorema que aquí pueda declararse establecido.

Card: https://integralmanagement.ch/atlas-reader/fichas/D-094/
Source publication: https://dakleyer.github.io/perspective-beyond/atlas/dialogos/textos/d-094.html

RELATIONSHIPS
Gödel, máquinas de Turing y la pregunta de qué queda fuera → Pensamiento matemático
documenta el concepto. 
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-21/#r-c0c5ef6d0a5d8fbc
Other card: https://integralmanagement.ch/atlas-reader/conceptos/dg-math/

Gödel, máquinas de Turing y la pregunta de qué queda fuera → Conciencia estructural
documenta el concepto. 
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-28/#r-6320c2f2d0edecd4
Other card: https://integralmanagement.ch/atlas-reader/conceptos/dg-structure/

Gödel, máquinas de Turing y la pregunta de qué queda fuera → Duda, pruebas y conocimiento corregible
documenta el concepto. 
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-29/#r-4b0dc911e75a5241
Other card: https://integralmanagement.ch/atlas-reader/conceptos/dg-doubt/

Gödel, máquinas de Turing y la pregunta de qué queda fuera → El infinito, la máquina y sus límites
conexión de la edición. La lectura enlaza «Gödel, máquinas de Turing y la pregunta de qué queda fuera» con «El infinito, la máquina y sus límites». Permite contrastar Pensamiento matemático.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-164/#r-bab95b12a28f6daf
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-055/

La esfera mágica: contar el último elemento también cuesta → Gödel, máquinas de Turing y la pregunta de qué queda fuera
conexión de la edición. La lectura enlaza «La esfera mágica: contar el último elemento también cuesta» con «Gödel, máquinas de Turing y la pregunta de qué queda fuera». Permite contrastar Pensamiento matemático, Conciencia estructural, Duda, pruebas y conocimiento corregible.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-165/#r-e394ab0835f1daa0
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-183/

2015: una idea ambiciosa necesita una prueba que otro pueda repetir → Gödel, máquinas de Turing y la pregunta de qué queda fuera
conexión de la edición. La lectura enlaza «2015: una idea ambiciosa necesita una prueba que otro pueda repetir» con «Gödel, máquinas de Turing y la pregunta de qué queda fuera». Permite contrastar Duda, pruebas y conocimiento corregible.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-165/#r-1aac0682abce1afb
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-185/

El instante que una cosa del mundo se convierte en dato → Gödel, máquinas de Turing y la pregunta de qué queda fuera
conexión de la edición. La lectura enlaza «El instante que una cosa del mundo se convierte en dato» con «Gödel, máquinas de Turing y la pregunta de qué queda fuera». Permite contrastar Pensamiento matemático, Conciencia estructural.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-167/#r-01fc90f1b46719e0
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-216/

Perder información no es lo mismo que no poder decidir → Gödel, máquinas de Turing y la pregunta de qué queda fuera
conexión de la edición. La lectura enlaza «Perder información no es lo mismo que no poder decidir» con «Gödel, máquinas de Turing y la pregunta de qué queda fuera». Permite contrastar Pensamiento matemático, Duda, pruebas y conocimiento corregible.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-167/#r-fc841794ec8f5721
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-219/

El supervisor humano no es barato porque solo revise dos casillas → Gödel, máquinas de Turing y la pregunta de qué queda fuera
conexión de la edición. La lectura enlaza «El supervisor humano no es barato porque solo revise dos casillas» con «Gödel, máquinas de Turing y la pregunta de qué queda fuera». Permite contrastar Pensamiento matemático, Duda, pruebas y conocimiento corregible.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-169/#r-e978899d9c20ce43
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-243/

Una inversa escrita no puede reconstruir la información que falta → Gödel, máquinas de Turing y la pregunta de qué queda fuera
conexión de la edición. La lectura enlaza «Una inversa escrita no puede reconstruir la información que falta» con «Gödel, máquinas de Turing y la pregunta de qué queda fuera». Permite contrastar Pensamiento matemático, Duda, pruebas y conocimiento corregible.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-170/#r-e2a8d7b42e168fdc
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-250/

El método nace de una paradoja: la perspectiva que decide también tiene puntos ciegos → Gödel, máquinas de Turing y la pregunta de qué queda fuera
conexión de la edición. La lectura enlaza «El método nace de una paradoja: la perspectiva que decide también tiene puntos ciegos» con «Gödel, máquinas de Turing y la pregunta de qué queda fuera». Permite contrastar Duda, pruebas y conocimiento corregible.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-170/#r-8f831659a2b9bb63
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-254/

La ciencia también puede excluir una idea dejándola sin interlocutor → Gödel, máquinas de Turing y la pregunta de qué queda fuera
conexión de la edición. La lectura enlaza «La ciencia también puede excluir una idea dejándola sin interlocutor» con «Gödel, máquinas de Turing y la pregunta de qué queda fuera». Permite contrastar Duda, pruebas y conocimiento corregible.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-170/#r-ed02c42595ec4dd3
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-258/

¿Y si el punto de partida fuera lo no definible? → Gödel, máquinas de Turing y la pregunta de qué queda fuera
conexión de la edición. La lectura enlaza «¿Y si el punto de partida fuera lo no definible?» con «Gödel, máquinas de Turing y la pregunta de qué queda fuera». Permite contrastar Pensamiento matemático, Duda, pruebas y conocimiento corregible.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-171/#r-5cc0ea6b5345889f
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-266/

Rechazar una entrada también es tomar una decisión → Gödel, máquinas de Turing y la pregunta de qué queda fuera
conexión de la edición. La lectura enlaza «Rechazar una entrada también es tomar una decisión» con «Gödel, máquinas de Turing y la pregunta de qué queda fuera». Permite contrastar Pensamiento matemático.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-172/#r-6d89d3ba3102cccc
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-278/

El investigador también ocupa el lugar del oráculo → Gödel, máquinas de Turing y la pregunta de qué queda fuera
conexión de la edición. La lectura enlaza «El investigador también ocupa el lugar del oráculo» con «Gödel, máquinas de Turing y la pregunta de qué queda fuera». Permite contrastar Duda, pruebas y conocimiento corregible, Pensamiento matemático.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-173/#r-ecc5b19accde2c02
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-280/

Antes de cerrar un universo, alguien debe decidir qué entra en él → Gödel, máquinas de Turing y la pregunta de qué queda fuera
conexión de la edición. La lectura enlaza «Antes de cerrar un universo, alguien debe decidir qué entra en él» con «Gödel, máquinas de Turing y la pregunta de qué queda fuera».
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-173/#r-0eb57246a342afe6
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-281/

Pedir un contraejemplo es una parte del pensamiento original → Gödel, máquinas de Turing y la pregunta de qué queda fuera
conexión de la edición. La lectura enlaza «Pedir un contraejemplo es una parte del pensamiento original» con «Gödel, máquinas de Turing y la pregunta de qué queda fuera». Permite contrastar Duda, pruebas y conocimiento corregible, Pensamiento matemático.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-173/#r-55e4b49dab49fe05
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-282/

Gödel, máquinas de Turing y la pregunta de qué queda fuera → Una arquitectura que no puede declararse cerrada
lectura por conceptos compartidos. Ambas reflexiones permiten comparar Pensamiento matemático, Conciencia estructural, Duda, pruebas y conocimiento corregible desde las situaciones que describe cada texto.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-176/#r-43467b3961f4ccd1
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-117/

Gödel, máquinas de Turing y la pregunta de qué queda fuera → Capacidad informacional, complejidad y exergía
lectura por conceptos compartidos. Ambas reflexiones permiten comparar Pensamiento matemático, Conciencia estructural desde las situaciones que describe cada texto.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-176/#r-130f7fa91fd98c8a
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-095/