George Boolos
George Boolos · Philosophy & Social Sciences
Philosopher and mathematical logician
1940, New York City, United States — 1996, Cambridge, Massachusetts, United States
United States
George Boolos is recognized among Jewish contributors to Philosophy & Social Sciences — Philosopher and mathematical logician
George Boolos was a philosopher and mathematical logician at MIT whose work on the foundations of mathematics, provability logic, and Frege's logicism was highly influential; he also produced a celebrated proof-theoretic study of second-order logic. He was of Greek and Jewish (German-Jewish) descent. His scholarship shaped how modern logicians read Frege and understand self-reference.
Verify and go deeper with these external references.
Source: Jinfo.org — Jews in Philosophy
This page is published in seven languages from an English source. The translations are reviewed, but a mistake can still slip through. If you spot one on this profile — a wrong word, a lost date, a sentence that says something the English does not — please tell us.
Philosopher and mathematical logician
Source: Jinfo.org — Jews in Philosophy
Similar Contributors
Ruth Barcan Marcus
Saul Kripke
Kalonymus ben Kalonymus
Abner Shimony
