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.
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.
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.
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.
George Stephen Boolos fue un filósofo y estudioso de lógica matemática que enseñó en el Massachusetts Institute of Technology.
George Stephen Boolos, Professor of Philosophy, died of cancer on May 27, 1996. He was 55 years old. George was born in New York, on September 4, 1940, and received his B.A. in 1961 from Princeton.
