robot de la enciclopedia para niños

George Boolos para niños

Enciclopedia para niños
Datos para niños
George Boolos
Información personal
Nacimiento 4 de septiembre de 1940
Nueva York (Estados Unidos)
Fallecimiento 27 de mayo de 1996
Cambridge (Estados Unidos)
Nacionalidad Estadounidense
Educación
Educado en
Supervisor doctoral Hilary Putnam
Información profesional
Ocupación Matemático, filósofo y profesor universitario
Área Lógica matemática y filosofía
Empleador
Miembro de Academia Estadounidense de las Artes y las Ciencias
Distinciones
  • Beca Guggenheim

George Stephen Boolos (nacido en Nueva York el 4 de septiembre de 1940 y fallecido el 27 de mayo de 1996) fue un importante filósofo y experto en lógica matemática. Enseñó durante muchos años en el Massachusetts Institute of Technology (MIT).

¿Quién fue George Boolos?

George Boolos fue un pensador brillante que dedicó su vida a entender cómo funciona el razonamiento y las matemáticas. Su trabajo se centró en la lógica, que es como la "gramática" del pensamiento correcto. Ayudó a simplificar ideas muy complejas para que más personas pudieran entenderlas.

Sus primeros años y educación

George Boolos estudió mucho para convertirse en el experto que fue. En 1961, se graduó de la Universidad de Princeton con un título en matemáticas. Luego, en 1963, obtuvo otro título en Filosofía de la Universidad de Oxford en Inglaterra.

En 1966, hizo historia al ser la primera persona en obtener un doctorado en Filosofía del Massachusetts Institute of Technology (MIT). Su mentor fue el famoso filósofo Hilary Putnam. Después de enseñar un tiempo en la Universidad de Columbia, regresó al MIT en 1969. Allí permaneció hasta su fallecimiento en 1996.

Un profesor brillante y divertido

George Boolos era conocido por ser un profesor muy claro e inteligente. Tenía una forma especial de explicar las cosas difíciles. Una vez, dio una clase sobre un teorema muy complejo de Kurt Gödel usando solo palabras de una sílaba. ¡Imagina lo difícil que debe haber sido eso!

Al final de esa clase, su antiguo profesor, Hilary Putnam, le preguntó si la lógica avanzada tenía algo que ver con el mundo real. Boolos respondió sin dudar: "Es parte de él". Esto muestra su habilidad para conectar ideas abstractas con la vida.

Su pasión por los acertijos

A George Boolos le encantaban los acertijos. Era muy bueno resolviéndolos. En 1993, llegó a la final regional de Londres de un famoso concurso de palabras cruzadas del periódico The Times. Su puntuación fue una de las más altas logradas por un participante de Estados Unidos.

También escribió un artículo sobre "el acertijo lógico más difícil". Este acertijo fue creado por otro experto en lógica, Raymond Smullyan.

Contribuciones importantes de George Boolos

George Boolos hizo muchas contribuciones al campo de la lógica y la filosofía. Sus trabajos ayudaron a entender mejor cómo funcionan las pruebas matemáticas y la forma en que usamos el lenguaje para razonar.

Libros clave en lógica

Junto con Richard Jeffrey, Boolos escribió un libro muy importante para estudiantes universitarios llamado Computability and Logic. Este libro es un clásico para aprender sobre la lógica matemática.

Boolos también fue pionero en un área llamada "lógica demostrativa". Esta lógica estudia qué significa que algo sea "demostrable" en matemáticas. Escribió dos libros importantes sobre este tema: La in-demostrabilidad de la consistencia (1979) y La lógica de la demostrabilidad (1993).

Su trabajo sobre Gottlob Frege

Boolos era un gran experto en la obra de Gottlob Frege, un matemático y filósofo alemán del siglo XIX. Frege intentó construir un sistema lógico para las matemáticas, pero tenía un problema conocido como la paradoja de Russell.

Boolos demostró que el sistema de Frege podía arreglarse cambiando una de sus reglas principales. Esto hizo que el trabajo de Frege fuera más útil y ha sido estudiado intensamente desde entonces.

La cuantificación plural

George Boolos también desarrolló una idea llamada "cuantificación plural". Esta idea ayuda a entender cómo podemos hablar de "varios" objetos sin tener que pensar en ellos como un solo grupo. Es una forma de simplificar cómo la lógica se relaciona con la realidad.

Su obra final: Lógica, Lógica, y Lógica

Poco antes de su fallecimiento, Boolos seleccionó 30 de sus trabajos más importantes para ser publicados en un libro. Este libro, llamado Lógica, Lógica, y Lógica, es quizás su obra más conocida. Incluye sus ideas sobre Frege, la teoría de conjuntos, la lógica y los famosos teoremas de Kurt Gödel. También contiene escritos sobre otros grandes pensadores como Richard Dedekind, Georg Cantor y Bertrand Russell.

Véase también

Kids robot.svg En inglés: George Boolos Facts for Kids

Libros

  • 2002 (1974) (con Richard Jeffrey). Computability and Logic. Cambridge: Cambridge University Press.
  • 1979. The Unprovability of Consistency: An Essay in Modal Logic. Cambridge University Press.
  • 1990 (editor). Meaning and Method: Essays in Honor of Hilary Putnam. Cambridge University Press.
  • 1993. The Logic of Provability. Cambridge University Press. Una revisión de Boolos (1979).
  • 1998 (Richard Jeffrey y John P. Burgess, eds.). Logic, Logic, and Logic. Harvard University Press.
kids search engine
George Boolos para Niños. Enciclopedia Kiddle.