Destituido de universidades por sus opiniones sobre el matrimonio y la libertad sexual. Luchó a favor del pacifismo, hizo campaña en pro del desarme nuclear, denunció los crímenes en la guerra de Vietnam, se opuso al nazismo y al estalinismo y defendió modernos puntos de vista sobre la educación y la sexualidad. Asimismo contribuyó a la lógica matemática, que, en la obra de Kurt Gödel, Alan Turing, entre otros, se ha convertido en una construcción magnífica y útil, sin la que no cabe concebir el desarrollo de la moderna teoría de la computación
Comentarios
“Gran parte de las dificultades por las que atraviesa el mundo se deben a que los ignorantes están completamente seguros y los inteligentes llenos de dudas”
Qué buena. Tal vez cada vez que estemos seguros respecto a una idea sobre un tema realmente complejo y lleno de matices deberíamos hacer instrospección.
#3 la duda es el primer momento del conocimiento.
Todo conocimiento se debe a que alguien dudó de la explicación que le habían dado.
Sí, y tiene frases y explicaciones muy buenas, como la tetera, pero estaba escribiendo Principia Mathematica y se lo echó por tierra Gödel…
#1 Y lo de los conjuntos de Cantor creó más problemas. Y todo ello lo quiso resolver Allan Turing. lo que le llevó a este a la idea de máquina universal precisamente para resolver esas cuestiones de rebote ... Y hemos acabado escribiendo en PCs Y otros dispositivos
#2 Bueno, si no hubiera sido Turing habría sido Kleene o Church, y lo mismo esa inspiración habría sido mejor para avanzar por la línea de lisp más que algol, y las funciones lambda de Amazon habrían llegado 20 años antes
O no, a saber con los rebotes dónde estaríamos ahora
#4 te veo pasando el rato contando paréntesis en lugar de escribir código
#5 Se ponen solos: https://marketplace.visualstudio.com/items?itemName=shaunlebron.vscode-parinfer
#7 emacs + Geiser + paredit + SICP.
#2 Recomiendo fervientemente la novela gráfica Logicomix para entender todo ese billar a varias bandas y lo que vino después.
#10 Gracias... Y por si sirve, he encontrado:
#11 Adoro ese podcast, y todos los de cienciaes.com
#10 Venía a decir eso mismo. +1
muy buena informacion woa impresionante