Died: 1996 AD
1940 – George Stephen Boolos was born on the 4th of September in New York City. Professor of Linguistics and Philosophy.
1961 – Graduated from Princeton University with an A.B. in mathematics.
1963 – Oxford University awarded him the B. Phil.
1966 – Served as first recipient of Ph.D. in philosophy from Massachusetts Institute of Technology.
– He taught at Columbia University for three years before returning to Massachusetts Institute of Technology.
1969 – Became professor of philosophy at Massachusetts Institute of Technology.
1974 – Co-wrote "Computability and Logic".
1979 – Wrote "The Unprovability of Consistency" and "The Logic of Provability".
1993 – He qualified for the London Regional Final of the London Times crossword puzzle competition, where he scored one of the highest scores ever achieved by an American.
1995 – President of Association for Symbolic Knowledge.
1996 – Boolos was awarded a Guggenheim Fellowship to complete a book on Frege, and he had been recently appointed Rockefeller Professor of Philosophy at Massachusetts Institute of Technology.
– He died on 27th of May at his home in Cambridge at the age of 55. The death was the result of pancreatic cancer.