Age, Biography and Wiki

George Boolos was born on 4 September, 1940 in New York City, New York, U.S., is an American philosopher and mathematical logician. Discover George Boolos's Biography, Age, Height, Physical Stats, Dating/Affairs, Family and career updates. Learn How rich is he in this year and how he spends money? Also learn how he earned most of networth at the age of 55 years old?

Popular As N/A
Occupation N/A
Age 55 years old
Zodiac Sign Virgo
Born 4 September, 1940
Birthday 4 September
Birthplace New York City, New York, U.S.
Date of death 27 May, 1996
Died Place Cambridge, Massachusetts, U.S.
Nationality United States

We recommend you to check the complete list of Famous People born on 4 September. He is a member of famous philosopher with the age 55 years old group.

George Boolos Height, Weight & Measurements

At 55 years old, George Boolos height not available right now. We will update George Boolos's Height, weight, Body Measurements, Eye Color, Hair Color, Shoe & Dress size soon as possible.

Physical Status
Height Not Available
Weight Not Available
Body Measurements Not Available
Eye Color Not Available
Hair Color Not Available

Dating & Relationship status

He is currently single. He is not dating anyone. We don't have much information about He's past relationship and any previous engaged. According to our Database, He has no children.

Family
Parents Not Available
Wife Not Available
Sibling Not Available
Children Not Available

George Boolos Net Worth

His net worth has been growing significantly in 2023-2024. So, how much is George Boolos worth at the age of 55 years old? George Boolos’s income source is mostly from being a successful philosopher. He is from United States. We have estimated George Boolos's net worth, money, salary, income, and assets.

Net Worth in 2024 $1 Million - $5 Million
Salary in 2024 Under Review
Net Worth in 2023 Pending
Salary in 2023 Under Review
House Not Available
Cars Not Available
Source of Income philosopher

George Boolos Social Network

Instagram
Linkedin
Twitter
Facebook
Wikipedia
Imdb

Timeline

1940

George Stephen Boolos (4 September 1940 – 27 May 1996) was an American philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.

Boolos was of Greek-Jewish descent.

He graduated with an A.B. in mathematics from Princeton University after completing a senior thesis, titled "A simple proof of Gödel's first incompleteness theorem", under the supervision of Raymond Smullyan.

1963

Oxford University awarded him the B.Phil. in 1963.

1966

In 1966, he obtained the first PhD in philosophy ever awarded by the Massachusetts Institute of Technology, under the direction of Hilary Putnam.

1969

After teaching three years at Columbia University, he returned to MIT in 1969, where he spent the rest of his career.

1979

Boolos was one of its earliest proponents and pioneers, and he produced the first book-length treatment of it, The Unprovability of Consistency, published in 1979.

1982

While Boolos is usually credited with plural quantification, Peter Simons (1982) has argued that the essential idea can be found in the work of Stanislaw Leśniewski.

Shortly before his death, Boolos chose 30 of his papers to be published in a book.

The result is perhaps his most highly regarded work, his posthumous Logic, Logic, and Logic.

This book reprints much of Boolos's work on the rehabilitation of Frege, as well as a number of his papers on set theory, second-order logic and nonfirstorderizability, plural quantification, proof theory, and three short insightful papers on Gödel's Incompleteness Theorem.

There are also papers on Dedekind, Cantor, and Russell.

1993

An expert on puzzles of all kinds, in 1993 Boolos reached the London Regional Final of The Times crossword competition.

His score was one of the highest ever recorded by an American.

He wrote a paper on "The Hardest Logic Puzzle Ever"—one of many puzzles created by Raymond Smullyan.

The solution of a major unsolved problem some years later led to a new treatment, The Logic of Provability, published in 1993.

The modal-logical treatment of provability helped demonstrate the "intensionality" of Gödel's Second Incompleteness Theorem, meaning that the theorem's correctness depends on the precise formulation of the provability predicate.

These conditions were first identified by David Hilbert and Paul Bernays in their Grundlagen der Arithmetik.

The unclear status of the Second Theorem was noted for several decades by logicians such as Georg Kreisel and Leon Henkin, who asked whether the formal sentence expressing "This sentence is provable" (as opposed to the Gödel sentence, "This sentence is not provable") was provable and hence true.

Martin Löb showed Henkin's conjecture to be true, as well as identifying an important "reflection" principle also neatly codified using the modal logical approach.

Some of the key provability results involving the representation of provability predicates had been obtained earlier using very different methods by Solomon Feferman.

1994

A charismatic speaker well known for his clarity and wit, he once delivered a lecture (1994b) giving an account of Gödel's second incompleteness theorem, employing only words of one syllable.

At the end of his viva, Hilary Putnam asked him, "And tell us, Mr. Boolos, what does the analytical hierarchy have to do with the real world?"

Without hesitating Boolos replied, "It's part of it".

1996

Boolos died of pancreatic cancer on 27 May 1996.

Boolos coauthored with Richard Jeffrey the first three editions of the classic university text on mathematical logic, Computability and Logic.

The book is now in its fifth edition, the last two editions updated by John P. Burgess.

Kurt Gödel wrote the first paper on provability logic, which applies modal logic—the logic of necessity and possibility—to the theory of mathematical proof, but Gödel never developed the subject to any significant extent.

2019

Boolos was an authority on the 19th-century German mathematician and philosopher Gottlob Frege.

Boolos proved a conjecture due to Crispin Wright (and also proved, independently, by others), that the system of Frege's Grundgesetze, long thought vitiated by Russell's paradox, could be freed of inconsistency by replacing one of its axioms, the notorious Basic Law V with Hume's Principle.

The resulting system has since been the subject of intense work.

Boolos argued that if one reads the second-order variables in monadic second-order logic plurally, then second-order logic can be interpreted as having no ontological commitment to entities other than those over which the first-order variables range.

The result is plural quantification.

David Lewis employed plural quantification in his Parts of Classes to derive a system in which Zermelo–Fraenkel set theory and the Peano axioms were all theorems.