|
Jesse Alama
Graduate Student
Office: Bldg. 90
Mailing:
Department of Philosophy, Building 90
Stanford University
Stanford, CA 94305-2155
Phone: (650) 723-2547 (main department line)
Email: alama@stanford.edu
|
|
|
Education History
|
2001: BA in Mathematics, Philosophy, and Computer
Science, University of Minnesota, Morris
|
|
|
Areas of Interest
|
Logic, Automated Deduction, Philosophy and History of Mathematics, Computer-checked proofs
|
|
|
Selected Bibliography
|
|
|
|
Recent Courses Taken
|
- Logic and Automated Deduction
- Algebra
- Proof Theory
- History of Set Theory
- Plato's Ontology and Mathematics
- Model Theory
- Constructive mathematics
- Recursion theory
|
|
|
Links and Online Papers
|
Personal Home Page
|
© 2006 The Board of Trustees of The Leland Stanford Junior University. All Rights Reserved.
|
