Menéame: comentarios [3259727]

#13 Bertrand Russell y los fundamentos de las matemáticas

--625430-- — Sun, 01 Mar 2020 21:24:40 +0000

#11 Adoro ese podcast, y todos los de cienciaes.com

» autor: --625430--

#12 Bertrand Russell y los fundamentos de las matemáticas

arka — Sun, 01 Mar 2020 09:33:46 +0000

#10 Venía a decir eso mismo. +1

» autor: arka

#11 Bertrand Russell y los fundamentos de las matemáticas

suzudo — Sun, 01 Mar 2020 09:32:00 +0000

#10 Gracias... Y por si sirve, he encontrado: www.ivoox.com/a-ciencia-cierta-17-2-2020-alan-turing-audios-mp3_rf_478

» autor: suzudo

#10 Bertrand Russell y los fundamentos de las matemáticas

Pedro_Chosco — Sun, 01 Mar 2020 00:06:10 +0000

#2 Recomiendo fervientemente la novela gráfica Logicomix para entender todo ese billar a varias bandas y lo que vino después.

» autor: Pedro_Chosco

#9 Bertrand Russell y los fundamentos de las matemáticas

Albert_De_los_Santos — Sat, 29 Feb 2020 23:38:14 +0000

muy buena informacion woa impresionante

» autor: Albert_De_los_Santos

#8 Bertrand Russell y los fundamentos de las matemáticas

--625430-- — Sat, 29 Feb 2020 22:52:11 +0000

#7 emacs + Geiser + paredit + SICP.

» autor: --625430--

#7 Bertrand Russell y los fundamentos de las matemáticas

eu.gênio — Sat, 29 Feb 2020 14:17:19 +0000

#5 Se ponen solos: marketplace.visualstudio.com/items?itemName=shaunlebron.vscode-parinfe

» autor: eu.gênio

#6 Bertrand Russell y los fundamentos de las matemáticas

--491272-- — Sat, 29 Feb 2020 13:44:00 +0000

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

» autor: --491272--

#5 Bertrand Russell y los fundamentos de las matemáticas

suzudo — Sat, 29 Feb 2020 13:37:39 +0000

#4 te veo pasando el rato contando paréntesis en lugar de escribir código

» autor: suzudo

#4 Bertrand Russell y los fundamentos de las matemáticas

eu.gênio — Sat, 29 Feb 2020 12:47:57 +0000

#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

» autor: eu.gênio

#3 Bertrand Russell y los fundamentos de las matemáticas

dameAbrazos — Sat, 29 Feb 2020 09:27:27 +0000

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

» autor: dameAbrazos

#2 Bertrand Russell y los fundamentos de las matemáticas

suzudo — Sat, 29 Feb 2020 07:31:43 +0000

#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

» autor: suzudo

#1 Bertrand Russell y los fundamentos de las matemáticas

eu.gênio — Fri, 28 Feb 2020 19:16:44 +0000

Sí, y tiene frases y explicaciones muy buenas, como la tetera, pero estaba escribiendo Principia Mathematica y se lo echó por tierra Gödel…

» autor: eu.gênio