-
156Review of S. Feferman's in the light of logic (review)Mathematical Intelligencer 27 (4). 2005.We review Solomon Feferman's 1998 essay collection In The Light of Logic (Oxford University Press).
-
87Logical and semantic purityProtoSociology 25 36-48. 2008.Many mathematicians have sought ‘pure’ proofs of theorems. There are different takes on what a ‘pure’ proof is, though, and it’s important to be clear on their differences, because they can easily be conflated. In this paper I want to distinguish between two of them.
France
Areas of Specialization
3 more
Philosophy of Mathematics |
17th/18th Century Philosophy |
Epistemology |
Geometry |
Proof Theory |
Model Theory |
Logic and Philosophy of Logic |
Computability |
Areas of Interest
Japanese Philosophy |
Nishida Kitarō |