# Pedir un contraejemplo es una parte del pensamiento original

INTERLOCUTOR (pregunta editorial, no necesariamente pronunciada) — ¿Qué hacemos con una intuición poderosa antes de llamarla demostración?
REFLEXIÓ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».

La 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.

El 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.

Card: https://integralmanagement.ch/atlas-reader/fichas/D-282/
Source publication: https://dakleyer.github.io/perspective-beyond/atlas/dialogos/textos/d-282.html

RELATIONSHIPS
Pedir un contraejemplo es una parte del pensamiento original → Pensamiento matemático
documenta el concepto. 
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-22/#r-ae2d39793c06fc36
Other card: https://integralmanagement.ch/atlas-reader/conceptos/dg-math/

Pedir un contraejemplo es una parte del pensamiento original → Duda, pruebas y conocimiento corregible
documenta el concepto. 
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-29/#r-8bf284c9a8c58f9e
Other card: https://integralmanagement.ch/atlas-reader/conceptos/dg-doubt/

Pedir un contraejemplo es una parte del pensamiento original → Explorar axiomas desde lo indefinible
documenta el concepto. 
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-35/#r-b464bd5ec4403d8f
Other card: https://integralmanagement.ch/atlas-reader/conceptos/dg-axiom_reversal/

Pedir un contraejemplo es una parte del pensamiento original → Demostrar o refutar paso por paso
documenta el concepto. 
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-35/#r-2d22bd8894b0b98b
Other card: https://integralmanagement.ch/atlas-reader/conceptos/dg-epistemic_increment/

Pedir un contraejemplo es una parte del pensamiento original → Matemáticas: preguntar antes de elegir escuela
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.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-173/#r-c22ef2b0772c4936
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-054/

Pedir un contraejemplo es una parte del pensamiento original → El infinito, la máquina y sus límites
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.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-173/#r-e60f2fadc369c695
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-055/

Pedir un contraejemplo es una parte del pensamiento original → La duda no es necesariamente un fracaso
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.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-173/#r-703aafdf30276a35
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-082/

Pedir un contraejemplo es una parte del pensamiento original → Gödel, máquinas de Turing y la pregunta de qué queda fuera
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.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-173/#r-55e4b49dab49fe05
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-094/

Pedir un contraejemplo es una parte del pensamiento original → Qué tendría que refutar nuestra hipótesis
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.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-173/#r-6f09f16288d76f39
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-098/

Pedir un contraejemplo es una parte del pensamiento original → 2015: una idea ambiciosa necesita una prueba que otro pueda repetir
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.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-173/#r-2680b0303a094647
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-185/

Pedir un contraejemplo es una parte del pensamiento original → ¿Y si el punto de partida fuera lo no definible?
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.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-173/#r-2ff7bb1d136dd110
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-266/

Pedir un contraejemplo es una parte del pensamiento original → La esfera mágica: contar el último elemento también cuesta
lectura por conceptos compartidos. Ambas reflexiones permiten comparar Pensamiento matemático, Duda, pruebas y conocimiento corregible desde las situaciones que describe cada texto.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-180/#r-44a27aa26acdfcf8
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-183/

Pedir un contraejemplo es una parte del pensamiento original → Una arquitectura que no puede declararse cerrada
lectura por conceptos compartidos. Ambas reflexiones permiten comparar Pensamiento matemático, Duda, pruebas y conocimiento corregible desde las situaciones que describe cada texto.
Relationship: https://integralmanagement.ch/atlas-reader/relaciones/pagina-180/#r-f62e773d05855a65
Other card: https://integralmanagement.ch/atlas-reader/fichas/D-117/