Mathematician:Richard Merett Montague

Richard Merett Montague was an American mathematician and logician.

Proved that ZFC must contain infintely many axioms.

Nationality
American

History

 * Born: September 20, 1930
 * Died: March 7, 1971

Theorems and Definitions

 * Montague Grammar
 * Scott-Montague Semantics (with Dana Scott)

Publications

 * 1957: Contributions to the Axiomatic Foundations of Set Theory (Ph.D. thesis)
 * 1964: (with Donald Kalish)
 * 1970: Universal grammar
 * 1970: English as a Formal Language
 * 1973: The Proper Treatment of Quantification in Ordinary English