Edward Nelson's Home Page
I am in the
Department of Mathematics at
Here are my
list of publications,
curriculum vitae, and a photograph (June 2003).
My current research interests center on mathematical logic,
foundations of mathematics, bounded arithmetic, and
automatic proof verification .
On-line writings on these and other
topics will be posted under papers.
All of my
books are posted.
I retired June 30, 2013.
Calculus students: information about
Pictures from the
in Vancouver, June 17-18, 2004.