2015: una idea ambiciosa necesita una prueba que otro pueda repetir
Nueva Perspectiva · Iván Abril Palma
Reflexión reconstruida a partir de conversaciones y escritos de Iván Abril Palma. Las citas se distinguen del desarrollo editorial.
Fuente: Correspondencia sobre inteligencia artificial y nueva lógica con Alexander Gelbukh · 5–7 de agosto de 2015

INTERLOCUTOR (pregunta editorial, no pronunciada necesariamente) — ¿Cómo convertir la convicción de haber encontrado una lógica distinta en algo que un tercero pueda evaluar?
REFLEXIÓN DEL DIÁLOGO (reconstrucción editorial cotejada con el escrito) — La correspondencia con Alexander Gelbukh conserva tanto la ambición como la resistencia crítica. Iván rechaza que su convicción implique considerar idiotas a los científicos existentes; al mismo tiempo escribe que cree estar ante algo comparable, en importancia aspirada, a grandes cambios científicos. Gelbukh no concede la hipótesis: pregunta qué tarea concreta se resolvería, dónde está la demostración y cómo medir la calidad frente a métodos existentes. Iván acepta la exigencia y propone un esquema de entradas, codificación de frases, reglas de transformación y salidas; reconoce que no dispone entonces de un software de test y ofrece una prueba manual con casos como el juicio de Salomón o las dos puertas. Deben distinguirse tres planos: el proyecto conceptual, la prueba propuesta y el resultado demostrado. En el correo hay los dos primeros, no constancia del tercero. Esta tensión entre imaginación fuerte y prueba reproducible es parte de la voz de Iván y no debe suavizarse ni convertirla retrospectivamente en un producto terminado.

CONCEPTOS
Diálogo pertinente y lógica propuesta, Duda, pruebas y conocimiento corregible, Medir decisiones y consecuencias

RELACIONES
Matemáticas: preguntar antes de elegir escuela · La lectura enlaza «2015: una idea ambiciosa necesita una prueba que otro pueda repetir» con «Matemáticas: preguntar antes de elegir escuela». · https://dakleyer.github.io/perspective-beyond/atlas/dialogos/textos/d-054.html
Gödel, máquinas de Turing y la pregunta de qué queda fuera · 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. · https://dakleyer.github.io/perspective-beyond/atlas/dialogos/textos/d-094.html
Qué tendría que refutar nuestra hipótesis · La lectura enlaza «2015: una idea ambiciosa necesita una prueba que otro pueda repetir» con «Qué tendría que refutar nuestra hipótesis». Permite contrastar Duda, pruebas y conocimiento corregible. · https://dakleyer.github.io/perspective-beyond/atlas/dialogos/textos/d-098.html
Originalidad no es sinónimo de verdad ni de madurez · La lectura enlaza «2015: una idea ambiciosa necesita una prueba que otro pueda repetir» con «Originalidad no es sinónimo de verdad ni de madurez». Permite contrastar Duda, pruebas y conocimiento corregible, Medir decisiones y consecuencias. · https://dakleyer.github.io/perspective-beyond/atlas/dialogos/textos/d-159.html
Si un diálogo nunca cede nada, quizá es un sermón · La lectura enlaza «Si un diálogo nunca cede nada, quizá es un sermón» con «2015: una idea ambiciosa necesita una prueba que otro pueda repetir». Permite contrastar Diálogo pertinente y lógica propuesta, Duda, pruebas y conocimiento corregible. · https://dakleyer.github.io/perspective-beyond/atlas/dialogos/textos/d-220.html
Una credencial habla de ti; una obra permite examinarte · La lectura enlaza «Una credencial habla de ti; una obra permite examinarte» con «2015: una idea ambiciosa necesita una prueba que otro pueda repetir». · https://dakleyer.github.io/perspective-beyond/atlas/dialogos/textos/d-230.html
Pedir un contraejemplo es una parte del pensamiento original · 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. · https://dakleyer.github.io/perspective-beyond/atlas/dialogos/textos/d-282.html
2015: no solo cómo se llama, sino para qué quieres saberlo · Ambas reflexiones permiten comparar Diálogo pertinente y lógica propuesta, Duda, pruebas y conocimiento corregible desde las situaciones que describe cada texto. · https://dakleyer.github.io/perspective-beyond/atlas/dialogos/textos/d-184.html
Una ecuación puede ser cierta y la tendencia que le añadimos, no · Ambas reflexiones permiten comparar Medir decisiones y consecuencias, Duda, pruebas y conocimiento corregible desde las situaciones que describe cada texto. · https://dakleyer.github.io/perspective-beyond/atlas/dialogos/textos/d-203.html

Ficha: https://dakleyer.github.io/perspective-beyond/atlas/dialogos/#ficha-d-185
Mapa: https://dakleyer.github.io/perspective-beyond/atlas/mapa/?centro=D-185&radio=1&max=16&red=ideas
Entrada para el asistente: https://dakleyer.github.io/perspective-beyond/atlas/entrada/dialogos/cerrado.txt?config=1&rol=lector&lectura=explore&desde=D-185