ProofWiki:Mathematicians/Richard Montague
From ProofWiki
Richard Merett Montague was an American mathematician and logician.
Proved that ZFC must contain infintely many axioms.
Contents |
Nationality
American
History
- Born: September 20, 1930
- Died: March 7, 1971
Theorems and Definitions
Publications
- 1957: Contributions to the Axiomatic Foundations of Set Theory (Ph.D. thesis)
- 1964: Logic: Techniques of Formal Reasoning (with Donald Kalish)
- 1970: Universal grammar
- 1970: English as a Formal Language
- 1973: The Proper Treatment of Quantification in Ordinary English
