Menéame: comentarios [683864]

#17 Metamatemática, lógica formal y matemática

Perr — Fri, 29 May 2009 18:08:09 +0000

Corregida alguna que otra falta de ortografía.

» autor: Perr

#16 Metamatemática, lógica formal y matemática

Perr — Fri, 29 May 2009 13:49:48 +0000

Es como todo, la cultura informatica (al menos en España) es muy pequeña, lo mismo se puede decir de los personajes que participaron en su desarrollo, pero cualquiera que se interese un poquito por el transfondo matemático de las ciencias de la computación y la inteligencia artificial, los primeros personajes con los que se van a encontrar los lectores son con von Neumman y Turing, así que en ese sentido no es tan "desconocido", es muy conocido dentro de los ámbitos que ocupa.

Saludos.

» autor: Perr

#15 Metamatemática, lógica formal y matemática

Perr — Fri, 29 May 2009 13:38:10 +0000

arreglado sofista, gracias por la puntualización

» autor: Perr

#14 Metamatemática, lógica formal y matemática

sofista — Fri, 29 May 2009 13:21:52 +0000

El enlace a los elementos de Euclides da error (hay que eliminar la "f" final).

» autor: sofista

#13 Metamatemática, lógica formal y matemática

adrastea_quiesce — Fri, 29 May 2009 11:58:32 +0000

ligero offtopic, soy la única que tiene que leer varias veces la palabra "metamatemática" porque su cerebro se empeña en interpretar "matemática" a secas (no teniendo mucho sentido el titular en tal caso, y de ahí la relectura)?

» autor: adrastea_quiesce

#12 Metamatemática, lógica formal y matemática

lindeloff — Fri, 29 May 2009 10:54:39 +0000

#11 Tienes toda la razón, es muy triste. Lo que digo es que esta biografía está muy bien para entender lo que hizo, la influencia que tuvo en la mentalidad actual, también se detallan bastante bien sus ideas sobre las máquinas etc .. El libro me parece que está bien redactado y explica muy bien sus teorías, y no hace falta ser un experto en matemáticas para entenderlo. Pero sí, estoy de acuerdo en lo triste de su historia.

» autor: lindeloff

#11 Metamatemática, lógica formal y matemática

tnt80 — Fri, 29 May 2009 10:45:21 +0000

#10 no se yo es que cada vez que lo pienso me deprimo, es decir, el tío consigue, mediante automatas y con el apoyo de las mentes tan brillantes como la suya, fabricar la primera máquina "pensante" de la historia, descifra el código "Enigma" que usaban los nazis en la II Guerra Mundial, dando la vuelta al conflicto, y como premio, por ser homosexual, no sólo se le olvida, además, le someten a un "proceso médico" (fijaos bien en las comillas) y se le proboccan sufrimientos tales que acaba por suicidarse.

No me digas que no es triste cómo una mente tan brillaste puede acabar así por culpa de la incomprensión del resto del mundo.

» autor: tnt80

#10 Metamatemática, lógica formal y matemática

lindeloff — Fri, 29 May 2009 10:18:55 +0000

#9 Precisamente por eso es muy recomendable ...

» autor: lindeloff

#9 Metamatemática, lógica formal y matemática

tnt80 — Fri, 29 May 2009 04:38:23 +0000

#3 teniendo en cuenta la inmensurable labor que hizo, lo poco que se le ha reconocido después, y lo mal que acabó por "las doctrinas morales" de la época, no se yo si es tan recomendable.

» autor: tnt80

#8 Metamatemática, lógica formal y matemática

obsidiana — Thu, 28 May 2009 16:51:50 +0000

Geniales estos temas, relacionada con la biografía de muchos de ellos el documental "Ciencia y conciencia" de REDES

» autor: obsidiana

#7 Metamatemática, lógica formal y matemática

Perr — Thu, 28 May 2009 15:56:56 +0000

Qué falta de ortografía ElSeñorMierda?, si se me ha escapado alguna, avisa please.

» autor: Perr

#6 Metamatemática, lógica formal y matemática

ElSeñorMierda — Thu, 28 May 2009 15:41:10 +0000

Muy interesante, aunque hay que tener cuidado con las faltas de ortografía. Es un foro muy majete.

» autor: ElSeñorMierda

#5 Metamatemática, lógica formal y matemática

Perr — Thu, 28 May 2009 14:15:23 +0000

Arreglado lo de Turing, ya se ve (o debería) verse la imagen.

Saludos.

» autor: Perr

#4 Metamatemática, lógica formal y matemática

Perr — Thu, 28 May 2009 14:11:14 +0000

Gracias Leavitt. Yo, ya de paso, recomiendo el libro que puse en la bibliografía, llamado "La computadora universal", de Martin Davis.

» autor: Perr

#3 Metamatemática, lógica formal y matemática

lindeloff — Thu, 28 May 2009 14:10:05 +0000

Recomiendo la biografía de Alan Turing, "El hombre que sabía demasiado", de David Leavitt.

» autor: lindeloff

#2 Metamatemática, lógica formal y matemática

Perr — Thu, 28 May 2009 14:07:21 +0000

A Kurt Gödel sí lo veo. A Alan Turing ahora mismo lo pongo de nuevo, por lo visto se ha borrao la foto.

» autor: Perr

#1 Metamatemática, lógica formal y matemática

--134661-- — Thu, 28 May 2009 14:02:18 +0000

[Usuario deshabilitado]

» autor: --134661--