LINKS

Enlaces y libros con infromación acerca de los temas tratados y de los que hemos obtenido gran parte de los datos necesarios para realizar esta página.

Enlaces

www.miskatonic.org/godel.html -Teorema de incompletitud de Gödel.

www.chaos.org.uk/~eddy/math/Godel.html - El teorema de Gödel.

www.logic.at/kgs/home.html - Kurt Gödel Society.

http://nl.ijs.si/~damjan/g-m-c.html - Mente versus Gödel

http://www-groups.dcs.st-and.ac.uk/~history/BiogIndex.html - Cientos de biografías de matemáticos

http://www.caminantes.net/web/biografias.htm - Biografías de todo tipo de personajes famosos

http://csc208.csudh.edu/agomez/Math361/Math361ProjectIndex.html - Importante información sobre la máquina de Post

http://www.turing.org.uk - Información general de Turing

http://www.turingarchive.org - Página con artículos originales de Turing

http://www.turingarchive.org/catalogue.php3?category=AMT/C/24 - Articulos de Turing

http://www.turing.org.uk/turing/scrapbook/machine.html - Historia de MT

http://www.turing.org.uk/turing/scrapbook/manmach.html - Simuladores de MT en Java

http://www.igs.net/~tril/tm/tm.html - Compone dos grupos de 1´s en un solo grupo

http://www.cs.brandeis.edu/~paulq/Turing/TuringAppletMac.html - Para simular nuestros propios programas

Biobliografía

"Philosophical papers and letters" Gottfried Wilhem von Leibnitz.

"Ramon Llul, the iluminated Doctor" WTA Barber .1904

"Introduction to the histiry of science" G. Sarton .1931

"History of philosophy" Johann Erdman . 1910

"Histoire Litteraire de la France" París. 1885

"Le Doctor Illuminé" Lucien Graux. 1927

"Enciclopedia Universal Ilustrada" 1923

"Historia de Lulisme" Juan Avinlló. 1925

"Gödel,Escher,Bach: Un Eterno y Grácil Bucle" Douglas R. Hofstadter. Ed. Tusquets

"Obras Completas" Kurt Gödel. Ed. Alianza

"Gran Enciclopedia RIALP" 1984