George Boolos
George Boolos · Filosofía y ciencias sociales
George Boolos fue un filósofo y lógico matemático del MIT cuyo trabajo sobre los fundamentos de las matemáticas, la lógica de la demostrabilidad y el logicismo de Frege fue muy influyente; también realizó un célebre estudio teórico-demostrativo de la lógica de segundo orden.
1940, Nueva York, Estados Unidos — 1996, Cambridge, Massachusetts, Estados Unidos
Estados Unidos
George Boolos fue un filósofo y lógico matemático del MIT cuyo trabajo sobre los fundamentos de las matemáticas, la lógica de la demostrabilidad y el logicismo de Frege fue muy influyente; también realizó un célebre estudio teórico-demostrativo de la lógica de segundo orden. Era de ascendencia griega y judía (judía alemana). Su obra moldeó la lectura moderna de Frege y la comprensión de la autorreferencia.
Verifique y profundice con estas referencias externas.
Fuente: Jinfo.org — Jews in Philosophy
Esta página se publica en siete idiomas a partir de una fuente en inglés. Las traducciones se revisan, pero puede colarse un error. Si detecta alguno en esta ficha —una palabra equivocada, una fecha perdida, una frase que dice algo que el inglés no dice—, háganoslo saber.
George Boolos fue un filósofo y lógico matemático del MIT cuyo trabajo sobre los fundamentos de las matemáticas, la lógica de la demostrabilidad y el logicismo de Frege fue muy influyente; también realizó un célebre estudio teórico-demostrativo de la lógica de segundo orden.
Fuente: Jinfo.org — Jews in Philosophy
Contribuidores similares
Ruth Barcan Marcus
Saul Kripke
Kalonymus ben Kalonymus
Abner Shimony
