{"graphSha256":"f29d7b1eedeb88387238d2abda347f810d2179c5fdbead47c3ef48507ab20ca5","node":{"id":"D-281","type":"ficha","title":"Antes de cerrar un universo, alguien debe decidir qué entra en él","url":"https://dakleyer.github.io/perspective-beyond/atlas/dialogos/#ficha-d-281","original":"https://dakleyer.github.io/perspective-beyond/atlas/dialogos/textos/d-281.html","aliases":[],"clusters":["dialogos"],"tags":["autoridad"],"summary":"¿Qué prueba una formalización que toma como dado el perímetro cuya elección era el problema?","commit":null,"sourcePath":null,"commitUrl":null,"documentId":"doc-f58756bac2f82ea38a","tagWeights":{"autoridad":1.0},"reading":"INTERLOCUTOR (pregunta editorial, no necesariamente pronunciada) — ¿Qué prueba una formalización que toma como dado el perímetro cuya elección era el problema?\nREFLEXIÓN DEL DIÁLOGO (voz original solo en citas, resto elaboración editorial) — En varios turnos Iván persigue una distinción difícil. Concede que una matemática rigurosa puede fijar un universo formal, establecer axiomas y decidir sobre clases concretas de objetos. Pero pregunta quién realiza la tarea previa de reconocer qué entradas del mundo corresponden a ese universo. Cuando su interlocutor intenta resolver el problema diciendo «basta con definir el conjunto de entradas», él vuelve a preguntar cómo se reconoce esa pertenencia en la práctica.\n\nLa frase es explícita: «somebody, some way, has to discriminate this single set of entries». Su crítica no necesita negar la coherencia de un sistema formal; señala la diferencia entre una propiedad asumida dentro de la formulación y el trabajo de conectar esa formulación con entradas y situaciones reales. En una empresa es el paso entre un dato tipado en un sistema y la realidad de la que se supone que procede.\n\nAquí deben evitarse dos extrapolaciones. Primero, no toda elección de dominio requiere una máquina universal: existen validadores locales efectivos y decidibles. Segundo, afirmar que hay un acto humano anterior no demuestra que la teoría axiomática incurra por ello en contradicción. La ficha conserva una pregunta de responsabilidad de frontera: ¿quién eligió el marco, con qué conocimiento, para qué casos, y cómo se reconocerá que deja de corresponder al mundo?","contextTokens":403},"relations":[["apoyo:D-281:dg-governance","D-281","dg-governance","documenta el concepto","",null,"apoyo",""],["apoyo:D-281:dg-research_dialogue","D-281","dg-research_dialogue","documenta el concepto","",null,"apoyo",""],["apoyo:D-281:dg-validity_boundary","D-281","dg-validity_boundary","documenta el concepto","",null,"apoyo",""],["apoyo:D-281:dg-human_oracle","D-281","dg-human_oracle","documenta el concepto","",null,"apoyo",""],["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-281-D-099","D-281","D-099","conexión de la edición","La lectura enlaza «Antes de cerrar un universo, alguien debe decidir qué entra en él» con «Lo que el mapa no representa puede cambiar la decisión».",null,"documento",""],["documento:dialogue-expansion-D-281-D-116","D-281","D-116","conexión de la edición","La lectura enlaza «Antes de cerrar un universo, alguien debe decidir qué entra en él» con «Un control puede aprobar y el sistema seguir fallando».",null,"documento",""],["documento:dialogue-expansion-D-281-D-118","D-281","D-118","conexión de la edición","La lectura enlaza «Antes de cerrar un universo, alguien debe decidir qué entra en él» con «Publicar no demuestra que alguien recibió ni actuó». Permite contrastar Gobernanza y legitimidad.",null,"documento",""],["documento:dialogue-expansion-D-281-D-216","D-281","D-216","conexión de la edición","La lectura enlaza «Antes de cerrar un universo, alguien debe decidir qué entra en él» con «El instante que una cosa del mundo se convierte en dato».",null,"documento",""],["documento:dialogue-expansion-D-281-D-219","D-281","D-219","conexión de la edición","La lectura enlaza «Antes de cerrar un universo, alguien debe decidir qué entra en él» con «Perder información no es lo mismo que no poder decidir».",null,"documento",""],["documento:dialogue-expansion-D-281-D-280","D-281","D-280","conexión de la edición","La lectura enlaza «Antes de cerrar un universo, alguien debe decidir qué entra en él» con «El investigador también ocupa el lugar del oráculo». Permite contrastar Trabajo humano de delimitar el problema.",null,"documento",""],["documento:dialogue-expansion-D-258-D-281","D-258","D-281","lectura por conceptos compartidos","Ambas reflexiones permiten comparar Diálogo de investigación y prueba acotada, Gobernanza y legitimidad desde las situaciones que describe cada texto.",null,"documento",""]]}