In Memoriam: George Stephen Boolos 1940–1996

DOI10.1017/S1079898600007757MaRDI QIDQ3128484zbMATH OpenOpenAlexFDO

Authors Warren D. Goldfarb

Publication date 28 May 1997

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://www.math.ucla.edu/~asl/bsl/0204-toc.htm

zbMATH Keywords

Obituary

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70)

Cites work

• scientific article; zbMATH DE number 1183730 (Why is no real title available?)
• scientific article; zbMATH DE number 3467029 (Why is no real title available?)
• Omega-consistency and the diamond
• On deciding the truth of certain statements involving the notion of consistency
• One hundred and two problems in mathematical logic
• Provability: The emergence of a mathematical modality
• The degree of the set of sentences of predicate provability logic that are true under every interpretation

This page was built for publication: In Memoriam: George Stephen Boolos 1940–1996

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3128484)