#### John R. Steel [home page]

Professor of Mathematics

**Office:** 717 Evans Hall

*Because of social distancing measures in response to the COVID-19
pandemic, meetings will take place via videoconferencing.
Please email me for information on how to set up a meeting.*

**Phone:** (510) 642-2252

**E-mail:** steel@math.berkeley.edu

(Ph.D., U.C. Berkeley). He is a professor in the mathematics department. Most of his work lies in set theory, and in particular in Gödel’s program for strengthening the set-theoretic foundation of mathematics through the addition of strong axioms of infinity. Broader philosophical issues concerning meaning and evidence for mathematical statements come to the fore here. Steel’s paper “Mathematics Needs New Axioms” (*Bulletin of Symbolic Logic*, vol. 6 (2000), 422-433) discusses Gödel’s program, with special attention to questions of meaning and evidence.