Resultado de búsqueda
George Stephen Boolos (4 de septiembre de 1940, Nueva York – 27 de mayo de 1996) fue un filósofo y estudioso de lógica matemática que enseñó en el Massachusetts Institute of Technology.
George Stephen Boolos (/ ˈ b uː l oʊ s /; 4 September 1940 – 27 May 1996) was an American philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.
29 de may. de 1996 · A prominent logician and philosopher, Professor Boolos was internationally known as one of the originators of provability logic. He was also a leading authority on the work of the 19th century German mathematician and philosopher Gottlob Frege, widely regarded as the founder of modern logic.
The Hardest Logic Puzzle Ever is a logic puzzle so called by American philosopher and logician George Boolos and published in The Harvard Review of Philosophy in 1996. Boolos' article includes multiple ways of solving the problem.
En este art ́ıculo presentamos una nueva demostraci ́on sencilla del Teorema de Incom-pletitud de G ̈odel en la forma siguiente: No existe ning ́un algoritmo cuya salida con-tenga todos los enunciados verdaderos de la Aritm ́etica y ning ́un enunciado falso.
George Boolos, 1940-1996. eulogy by Judith Thomson. eulogy by Richard Cartwright. faculty resolution, submitted by Judith Thomson, Richard Cartwright, and Joshua Cohen. List of Publications. 1. (with Hilary Putnam) “Degrees of unsolvability of constructible sets of integers.” Journal of Symbolic Logic 33 (1968): 497-513. 2.
Professor George S. Boolos of the Department of Linguistics and Philosophy, president of the Association for Symbolic Logic, died May 27 at his home in Cambridge at the age of 55, surrounded by his family, friends, colleagues and students. The cause of death was cancer of the pancreas.
Anuncio
relacionado con: George Boolos1 millón+ usuarios visitaron ebay.com el mes pasado
Over 70% New & Buy It Now; This Is The New ebay. Find George Boolos now!
