Dr. Arana specializes in the history and philosophy of mathematics, and logic.
Andrew Arana
Education
Ph.D. University of Notre Dame, 2004 (philosophy and mathematics joint program)
M.S. University of Notre Dame, 1999 (mathematics)
B.A. Trinity University, 1996 (mathematics)
B.S. Trinity University, 1996 (computer science)
Representative publications
“On formally measuring and eliminating extraneous notions in proofs”. Forthcoming in Philosophia Mathematica.
“Logical and semantic purity”. Forthcoming in Protosociology.
“Arithmetical independence results using higher recursion theory”. The Journal of Symbolic Logic 69:1 (2004) 1-9.
Courses
Fall 2008:
- Philosophy 115, Introduction to Philosophy of Religion
- Philosophy 615, Philosophy of Religion
Contact
Office 308A Dickens Hall
Email aarana@ksu.edu
Phone 785-532-0420
Fax 785-532-3522