taught at the Massachusetts Institute of Technology. Boolos was of Greek-Jewish descent (Boolos is an Arabic form of the name Paulus/Paûlos common among...

American philosopher and logician George Boolos and published in The Harvard Review of Philosophy in 1996. Boolos' article includes multiple ways of...

some authors use them to mean instead "x is a subset of A". Logician George Boolos strongly urged that "contains" be used for membership only, and "includes"...

S is an axiomatic set theory set out by George Boolos in his 1989 article, "Iteration Again". S, a first-order theory, is two-sorted because its ontology...

and Edward Zalta, 2004, "Frege, Boolos, and Logical Objects," Journal of Philosophical Logic 33: 1–26. George Boolos, 1998. Logic, Logic, and Logic. Goldrei...

Oxford University Press: 304–23. George Boolos, 1998, "A New Proof of the Gödel Incompleteness Theorem" in Boolos, G., Logic, Logic, and Logic. Harvard...

Boolos, and Logical Objects" (PDF). Journal of Philosophical Logic. 33: 1–26. doi:10.1023/B:LOGI.0000019236.64896.fd. S2CID 6620015. Boolos, George (1990)...

cannot conjure such an entity into existence by mere stipulation." George Boolos argued that much of what has been heretofore obtained by set theory...

Collected Works, Vol. 1, Oxford University Press, 1986, p. 363, fn 23. George Boolos and Richard Jeffrey, 1989. Computability and Logic, 3rd ed. Cambridge...

Boulos (Arabic: بولس or بولص), also transliterated Boulus, Boolos, Bulos, Bulus etc., is the Arabic form of the name Paul. It can be used as a male given...

Computation. Addison Wesley. p. 352. ISBN 0-201-44124-1. Boolos–Burgess–Jeffrey (2002) George Boolos, John P. Burgess, Richard Jeffrey (2002), Computability...

Notable graduates of the BPhil include: Cora Diamond, Daniel Dennett, George Boolos, Galen Strawson, G. A. Cohen, J. J. C. Smart, Patricia Churchland, Peter...

non-subjunctive, non-contrary-to-fact question that can be asked. Ulam's game George Boolos, John P. Burgess, Richard C. Jeffrey, Logic, logic, and logic (Harvard...

then, until his death in 1996, the prime inspirer of the field was George Boolos. Significant contributions to the field have been made by Sergei N....

and not necessarily trivially so. In his essay "Don't Eliminate Cut!" George Boolos demonstrated that there was a derivation that could be completed in...

working on the proof of the incompleteness theorem) and by Alfred Tarski. George Boolos has since sketched an alternative proof of the first incompleteness...

rejected by George Boolos.[citation needed] In recent years[when?] second-order logic has made something of a recovery, buoyed by Boolos' interpretation...

the nuances of meaning in natural language. The term was coined by George Boolos in his paper "To Be is to Be a Value of a Variable (or to Be Some Values...

compared—the Turing machine (still in Boolos' original 4-tuple form) and recursion the other two. George Boolos, John P. Burgess (1970) Cook (1970) Donald...

University. Retrieved 15 Oct 2011. Van Gelder, Lawrence (30 May 1996). "George Boolos, 55, philosopher". The New York Times. Retrieved 24 Oct 2011. "Faculty...

spelled out in [Zermelo 1930], and again in a well-known article of George Boolos [Boolos 1971]." Dana Scott (1974) went further and claimed that: The truth...

Ackermann James Earl Baumgartner Eyo Malachy Paul Bernays Andreas Blass George Boolos Bourbaki Georg Cantor Paul Cohen Richard Dedekind Paul Finsler Matthew...

on earlier work by the mathematician Dana Scott and the philosopher George Boolos. Potter (1990, 2004) clarified and simplified the approach of Scott...

University Press. ISBN 0691122318 2007. Computability and Logic (with George Boolos and Richard C. Jeffrey), Cambridge University Press. ISBN 0521877520...

the Computer, Harcourt, Inc., San Diego, ISBN 0-15-601391-6 (pbk.) George Boolos, John P. Burgess, Richard Jeffrey (2002), Computability and Logic: Fourth...

North-Holland Publishing Company, Amsterdam NL, ISBN 0-7204-2103-9 George Boolos, John Burgess, and Richard Jeffrey, 2002, Computability and Logic: Fourth...

Albert Blumberg George Boas Chris Bobonich Paul Boghossian Peter Boghossian David Bohm Laurence BonJour John Elof Boodin George Boolos Susan Bordo Albert...

added on 6th reprint). In Chapter XI. General Recursive Functions §57 George Boolos, John Burgess, Richard Jeffrey (2002), Computability and Logic: Fourth...

Wissenschaften, physikalisch-mathematische Klasse, 1930, pp. 42–65. George Boolos, 1985. "Reading the Begriffsschrift", Mind 94: 331–344. Ivor Grattan-Guinness...

Empire, 1781–1848) Andrea Bonomi (Italy, born 1940) George Boole (England/Ireland, 1815–1864) George Boolos (US, 1940–1996) Nicolas Bourbaki (pseudonym used...