{"graphSha256":"f29d7b1eedeb88387238d2abda347f810d2179c5fdbead47c3ef48507ab20ca5","node":{"id":"D-094","type":"ficha","title":"Gödel, máquinas de Turing y la pregunta de qué queda fuera","url":"https://dakleyer.github.io/perspective-beyond/atlas/dialogos/#ficha-d-094","original":"https://dakleyer.github.io/perspective-beyond/atlas/dialogos/textos/d-094.html","aliases":[],"clusters":["dialogos"],"tags":["matematicas"],"summary":"¿Qué ocurre si intento ampliar indefinidamente un sistema formal para incluir las afirmaciones que antes no podía decidir?","commit":null,"sourcePath":null,"commitUrl":null,"documentId":"doc-9b2af034bb3b9c3e2c","tagWeights":{"matematicas":1.0},"reading":"INTERLOCUTOR (pregunta editorial) — ¿Qué ocurre si intento ampliar indefinidamente un sistema formal para incluir las afirmaciones que antes no podía decidir?\nLECTURA 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.","contextTokens":335},"relations":[["apoyo:D-094:dg-math","D-094","dg-math","documenta el concepto","",null,"apoyo",""],["apoyo:D-094:dg-structure","D-094","dg-structure","documenta el concepto","",null,"apoyo",""],["apoyo:D-094:dg-doubt","D-094","dg-doubt","documenta el concepto","",null,"apoyo",""],["documento:dialogue-expansion-D-094-D-055","D-094","D-055","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.",null,"documento",""],["documento:dialogue-expansion-D-183-D-094","D-183","D-094","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.",null,"documento",""],["documento:dialogue-expansion-D-185-D-094","D-185","D-094","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.",null,"documento",""],["documento:dialogue-expansion-D-216-D-094","D-216","D-094","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.",null,"documento",""],["documento:dialogue-expansion-D-219-D-094","D-219","D-094","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.",null,"documento",""],["documento:dialogue-expansion-D-243-D-094","D-243","D-094","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.",null,"documento",""],["documento:dialogue-expansion-D-250-D-094","D-250","D-094","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.",null,"documento",""],["documento:dialogue-expansion-D-254-D-094","D-254","D-094","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.",null,"documento",""],["documento:dialogue-expansion-D-258-D-094","D-258","D-094","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.",null,"documento",""],["documento:dialogue-expansion-D-266-D-094","D-266","D-094","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.",null,"documento",""],["documento:dialogue-expansion-D-278-D-094","D-278","D-094","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.",null,"documento",""],["documento:dialogue-expansion-D-280-D-094","D-280","D-094","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.",null,"documento",""],["documento:dialogue-expansion-D-281-D-094","D-281","D-094","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».",null,"documento",""],["documento:dialogue-expansion-D-282-D-094","D-282","D-094","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.",null,"documento",""],["documento:dialogue-expansion-D-094-D-117","D-094","D-117","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.",null,"documento",""],["documento:dialogue-expansion-D-094-D-095","D-094","D-095","lectura por conceptos compartidos","Ambas reflexiones permiten comparar Pensamiento matemático, Conciencia estructural desde las situaciones que describe cada texto.",null,"documento",""]]}