Yahoo Search Búsqueda en la Web

Resultado de búsqueda

  1. 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 . Vida. Boolos se graduó en la Universidad de Princeton en 1961 con un BA en matemáticas. En 1963 obtuvo el B.Plilosophy de la Universidad de Oxford.

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

  3. « El acertijo lógico más difícil del mundo » es un título que acuñó George Boolos en La República (1992) bajo el título «L'indovinello più difficile del mondo» para el siguiente acertijo lógico inspirado en Raymond Smullyan : Tres dioses A, B, y C son llamados, en algún orden, Verdad, Falso, y Aleatorio.

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

  5. George Boolos (1940–96) fue catedr´atico de Filosof´ıa del Massachusetts Institute of Technology. El siguiente art´ıculo apareci´o publicado con el t´ıtulo New Proof of the G¨odel Incompleteness Theorem en el Notices of the American Mathematical Society, 36 (1989) 388-390). Reproducimos tambi´en una carta de Boolos al Notices: A ...

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

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