Perspective Beyond · Mind Atlas
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.
Complete text of this card Card and relationship data
Reading perspectives
Relationships of this piece
19 connections.
→ Pensamiento matemático
documenta el concepto
→ Conciencia estructural
documenta el concepto
→ Duda, pruebas y conocimiento corregible
documenta el concepto
→ 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.
← La esfera mágica: contar el último elemento también cuesta
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.
← 2015: una idea ambiciosa necesita una prueba que otro pueda repetir
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.
← El instante que una cosa del mundo se convierte en dato
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.
← Perder información no es lo mismo que no poder decidir
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.
← El supervisor humano no es barato porque solo revise dos casillas
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.
← Una inversa escrita no puede reconstruir la información que falta
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.
← El método nace de una paradoja: la perspectiva que decide también tiene puntos ciegos
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.
← La ciencia también puede excluir una idea dejándola sin interlocutor
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.
← ¿Y si el punto de partida fuera lo no definible?
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.
← Rechazar una entrada también es tomar una decisión
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.
← El investigador también ocupa el lugar del oráculo
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.
← Antes de cerrar un universo, alguien debe decidir qué entra en él
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».
← Pedir un contraejemplo es una parte del pensamiento original
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.
→ 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.
→ 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.