Unos investigadores presentaron una máquina que demostraba teoremas de lógica. Le dieron los primeros 52 del libro con el que Russell y Whitehead quisieron deducir las matemáticas enteras, y demostró 38; de uno encontró una prueba más elegante que la de los propios autores, que respondió que estaba encantado. Y no entendía ni uno solo de sus símbolos. Este capítulo enseña cómo lo hizo: dentro de un sistema formal, para demostrar no hace falta entender — hace falta seguir reglas que miran solo la forma.
En este capítulo
- De qué se ocupa la sintaxis lógica, y por qué la forma manda y el sentido espera
- Las cinco conectivas y cuántas piezas agarra cada una: de eso depende qué se puede escribir
- El pleito de cinco millones de dólares que cabía entero en una coma que no estaba
- La cuenta que se vuelve viral y parte en dos los comentarios: por qué el orden es una convención
- La notación polaca: cualquier fórmula se puede escribir sin un solo paréntesis
- Varsovia y el reto de Łukasiewicz: una lógica que razone con suposiciones, como los matemáticos
- La caja de Jaśkowski, la deducción natural de Gentzen y la raya de Fitch
- Cómo se lee una prueba renglón por renglón, sin tener que creerle a nadie
- El cachito de lotería: qué se puede sacar de un «supongamos» y qué se queda adentro
- Las diez puertas de las cinco conectivas: modus ponens, modus tollens, el absurdo y el silogismo disyuntivo
- Demostrar una verdad sin partir de nada, y qué es exactamente un teorema de la lógica
Para cerrar
¿Alguna vez un «supongamos» te llevó a una conclusión que no esperabas? Cuéntamelo en los comentarios.
Capítulos del video
- 0:00La máquina que no entendía
- 1:46Qué es la sintaxis lógica
- 2:34Las cinco conectivas
- 3:03La negación agarra una pieza
- 4:03Las otras cuatro agarran dos
- 5:08El bicondicional
- 6:35Por una coma
- 8:07La cuenta que se vuelve viral
- 9:28La notación polaca
- 10:03La notación polaca inversa
- 10:54Supongamos que
- 11:27La caja de Jaskowski
- 12:30La deducción natural
- 12:52El cálculo de Fitch
- 14:06Los tres principios, como fórmulas
- 14:57Cómo se lee una prueba
- 15:49Las cuatro semirreglas
- 16:30El cachito de lotería
- 17:43La introducción del condicional
- 18:49La conjunción
- 19:07La disyunción
- 20:12Modus ponens
- 20:44Modus tollens
- 21:15La negación por el absurdo
- 23:08El silogismo disyuntivo
- 23:32De la nada, una verdad
- 25:01¿No se demostraban?
- 25:47Vuelve la máquina