
Dr. Arana specializes in the history and philosophy of mathematics, and logic.
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)
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.
Fall 2008:
Office 308A Dickens Hall
Email aarana@ksu.edu
Phone 785-532-0420
Fax 785-532-3522