{"graphSha256":"f29d7b1eedeb88387238d2abda347f810d2179c5fdbead47c3ef48507ab20ca5","node":{"id":"D-282","type":"ficha","title":"Pedir un contraejemplo es una parte del pensamiento original","url":"https://dakleyer.github.io/perspective-beyond/atlas/dialogos/#ficha-d-282","original":"https://dakleyer.github.io/perspective-beyond/atlas/dialogos/textos/d-282.html","aliases":[],"clusters":["dialogos"],"tags":["experimentacion","matematicas"],"summary":"¿Qué hacemos con una intuición poderosa antes de llamarla demostración?","commit":null,"sourcePath":null,"commitUrl":null,"documentId":"doc-a7442381078c91c9fe","tagWeights":{"experimentacion":0.625,"matematicas":0.375},"reading":"INTERLOCUTOR (pregunta editorial, no necesariamente pronunciada) — ¿Qué hacemos con una intuición poderosa antes de llamarla demostración?\nREFLEXIÓN DEL DIÁLOGO (voz original solo en citas, resto elaboración editorial) — En el manuscrito conversacional se ve a Iván discutir con el asistente una y otra vez sobre diagonalización, universos de entrada y límites de los algoritmos. No siempre acepta la primera respuesta, aunque sea favorable a su idea. En un momento preciso pide: «be critical and tell me if we need to find a diagonal entry to really be sure what we are doing».\n\nLa frase importa tanto como la hipótesis matemática. El autor quiere que el argumento pueda enfrentarse a una construcción concreta: una máquina, una entrada, una cadena de validadores, un caso que produzca o no el efecto buscado. Busca presionar los límites, incluso pide «try to devastate» los supuestos para ver dónde aparece la contradicción. El valor de conservar el intercambio no es atribuirle una refutación de Turing, sino mostrar una pregunta en proceso y la insistencia en ponerla a prueba.\n\nEl documento contiene respuestas de IA que celebran demasiado pronto algunas consecuencias y un uso ambiguo de términos como universo, clase, indecidible o «no válido». La ficha no adopta esas confirmaciones como prueba. Retiene un gesto metodológico más robusto: una idea original también puede documentarse mediante los ensayos de refutación que su propio autor pidió, incluidos los que no llegaron a resultados formales.","contextTokens":406},"relations":[["apoyo:D-282:dg-math","D-282","dg-math","documenta el concepto","",null,"apoyo",""],["apoyo:D-282:dg-doubt","D-282","dg-doubt","documenta el concepto","",null,"apoyo",""],["apoyo:D-282:dg-axiom_reversal","D-282","dg-axiom_reversal","documenta el concepto","",null,"apoyo",""],["apoyo:D-282:dg-epistemic_increment","D-282","dg-epistemic_increment","documenta el concepto","",null,"apoyo",""],["documento:dialogue-expansion-D-282-D-054","D-282","D-054","conexión de la edición","La lectura enlaza «Pedir un contraejemplo es una parte del pensamiento original» con «Matemáticas: preguntar antes de elegir escuela». Permite contrastar Pensamiento matemático.",null,"documento",""],["documento:dialogue-expansion-D-282-D-055","D-282","D-055","conexión de la edición","La lectura enlaza «Pedir un contraejemplo es una parte del pensamiento original» con «El infinito, la máquina y sus límites». Permite contrastar Pensamiento matemático.",null,"documento",""],["documento:dialogue-expansion-D-282-D-082","D-282","D-082","conexión de la edición","La lectura enlaza «Pedir un contraejemplo es una parte del pensamiento original» con «La duda no es necesariamente un fracaso». Permite contrastar Duda, pruebas y conocimiento corregible, Pensamiento matemático.",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-282-D-098","D-282","D-098","conexión de la edición","La lectura enlaza «Pedir un contraejemplo es una parte del pensamiento original» con «Qué tendría que refutar nuestra hipótesis». Permite contrastar Duda, pruebas y conocimiento corregible.",null,"documento",""],["documento:dialogue-expansion-D-282-D-185","D-282","D-185","conexión de la edición","La lectura enlaza «Pedir un contraejemplo es una parte del pensamiento original» con «2015: una idea ambiciosa necesita una prueba que otro pueda repetir». Permite contrastar Duda, pruebas y conocimiento corregible.",null,"documento",""],["documento:dialogue-expansion-D-282-D-266","D-282","D-266","conexión de la edición","La lectura enlaza «Pedir un contraejemplo es una parte del pensamiento original» con «¿Y si el punto de partida fuera lo no definible?». Permite contrastar Duda, pruebas y conocimiento corregible, Pensamiento matemático, Explorar axiomas desde lo indefinible.",null,"documento",""],["documento:dialogue-expansion-D-282-D-183","D-282","D-183","lectura por conceptos compartidos","Ambas reflexiones permiten comparar Pensamiento matemático, Duda, pruebas y conocimiento corregible desde las situaciones que describe cada texto.",null,"documento",""],["documento:dialogue-expansion-D-282-D-117","D-282","D-117","lectura por conceptos compartidos","Ambas reflexiones permiten comparar Pensamiento matemático, Duda, pruebas y conocimiento corregible desde las situaciones que describe cada texto.",null,"documento",""]]}