- Born 17 January 1924, Vienna, Austria
- Still living
- AB Hunter College 1944
- MA Harvard University (Radcliffe College) 1944
- PhD June 1948, Harvard University (Radcliffe College)
- Adviser: Lynn Loomis and Willard Van Orman Quine
- Dissertation: On the consistency of Gödel’s axioms for class and set theory relative to a weaker set of axioms
- Primary employer: University of Minnesota