edición general
189 meneos
1581 clics

Bertrand Russell y los fundamentos de las matemáticas

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

| etiquetas: russell , ciencia , matemáticas
  1. Sí, y tiene frases y explicaciones muy buenas, como la tetera, pero estaba escribiendo Principia Mathematica y se lo echó por tierra Gödel…
  2. #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
  3. “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.
  4. #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
  5. #4 te veo pasando el rato contando paréntesis en lugar de escribir código ;)
  6. #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.
  7. #7 emacs + Geiser + paredit + SICP.
  8. muy buena informacion woa impresionante
  9. #2 Recomiendo fervientemente la novela gráfica Logicomix para entender todo ese billar a varias bandas y lo que vino después.
  10. #10 Venía a decir eso mismo. +1
  11. #11 Adoro ese podcast, y todos los de cienciaes.com
comentarios cerrados

menéame