|Marcelo Sabatˇs | Home|
|I am an assistant professor of philosophy at Kansas State University.|
My research interests center on the philosophy of mathematics and logic. My current focus is on purity in mathematics. A proof is methodologically pure, roughly, if it uses methods `close' or `akin' to the statement being proved. Advocates of purity in one form or another include Aristotle, Descartes, Newton, Bolzano, Dedekind, Frege, and Hilbert.
I also work on problems in mathematical logic and the foundations of mathematics. My work primarily concerns recursion-theoretic aspects of models and complete extensions of first-order Peano Arithmetic (PA). One crucial step in this work has been the discovery of new arithmetic independence results.
|Papers and talks|
Blah Blah Blah. PPR 2004.
Blah. J Phil 2005.
This semester I am teaching Philosophy 635, metaphysics. More information will be coming soon.
In the previous two semesters I taught Philosophy 340, Theories of Knowledge and Reality and Philosophy 320, Symbolic Logic Computability and Logic; and Philosophy 300, a graduate seminar in the philosophy of mathematics.
|For information about me and my interests outside philosophy and mathematics, click here. Also, see my blog.|
|I have compiled a collection of links that I find interesting and posted them here. Some of them are available from other places on this family of web pages; others fit nowhere else and so I've placed them here. Follow at your own risk.|
|This page is maintained by Cane Cattivo. Last modified 2 August 2004|