Dr. Arana specializes in the history and philosophy of mathematics, and logic.
Andrew Arana
Associate professor
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 the relationship between plane and solid geometry” (with Paolo Mancosu). Forthcoming in the Review of Symbolic Logic.
“Purity of methods” (with Mic Detlefsen). Philosophers' Imprint 11:2 (2011).
“Descartes and the cylindrical helix” (with Paolo Mancosu). Historia Mathematica 37:3 (2010), 403-427.
“Proof theory in philosophy of mathematics”. Philosophy Compass 5:4 (2010), 336-347.
“On formally measuring and eliminating extraneous notions in proofs”. Philosophia Mathematica 17 (2009).
“Possible m-diagrams of models of arithmetic”. In Reverse Mathematics 2001, edited by Stephen Simpson, Lecture Notes in Logic 21, A.K. Peters Publishers / Association for Symbolic Logic, 2005, pp. 27-41.
“Arithmetical independence results using higher recursion theory”. The Journal of Symbolic Logic 69:1 (2004) 1-9.
“Solovay's Theorem Cannot Be Simplified”. Annals of Pure and Applied Logic 112 (2001).
Contact
Office 308A Dickens Hall
Email aarana@ksu.edu
Phone 785-532-0420
Fax 785-532-3522