Blogs about: Epistemology Of Mathematics
Featured Blog
Probabilistic Proofs of Undecidable Sentences?
As I suggested (though perhaps not made as clear as I would have liked) in my forthcoming paper “Probabilistic Proofs and Transferability”, I think that probabilistic proofs can be used to… more →
Antimeta
Probabilistic Proofs of Undecidable Sentences?
— 6 comments
Kenny wrote 7 months ago: As I suggested (though perhaps not made as clear as I would have liked) in my forthcoming paper … more →
Computer Proofs Give A Priori Knowledge
— 7 comments
Kenny wrote 1 year ago: I just read a very interesting paper by Tyler Burge on computer proofs. (“Computer Proofs, Apr … more →
An Economic Argument for a Mathematical Conclusion
— 3 comments
Kenny wrote 1 year ago: How valuable is an income stream that pays $1000 a year in perpetuity? Naively, one might suspect th … more →
Putnam on Indispensability
— 3 comments
Kenny wrote 2 years ago: I mostly wrote this post three weeks ago, when Hilary Putnam was at Berkeley to give the three Towns … more →
Math Links Roundup
— 7 comments
Kenny wrote 2 years ago: First, I’ll mention that I’ve updated my blogroll – there’s been a real burs … more →
Crazy Neo-Falsificationism
— 5 comments
Kenny wrote 2 years ago: Karl Popper’s criterion of “falsifiability” for scientific theories (saying that a … more →
Mathematical Existence
— 22 comments
Kenny wrote 2 years ago: Last night, I mentioned to my roommate (who’s a mathematician) the fact that some realist phil … more →
Piecemeal Discovery in Mathematics
Kenny wrote 2 years ago: I recently saw an interesting post pointing out that the invention/discovery of calculus didn’ … more →
Return
— 1 comment
Kenny wrote 3 years ago: I just realized it’s been almost 2 months since I’ve posted here! You may have noticed t … more →
APA Blogging: Rabin
— 2 comments
Kenny wrote 3 years ago: Michael Rabin started his talk by mentioning that the traditional picture of proof says that in prin … more →
What Sorts of Proofs do Mathematicians Want?
— 3 comments
Kenny wrote 4 years ago: My advisor, Branden Fitelson, recently pointed me to a couple papers by Don Fallis about standards f … more →
Discovery in Mathematics
— 4 comments
Kenny wrote 4 years ago: Just as I looked for Gettier cases in mathematics a while ago, it looks like Brian Weatherson has so … more →
Explanations: Monstrous Moonshine and the Epistemological Argument for Fictionalism
— 8 comments
Kenny wrote 4 years ago: The Monster Group is well-known to mathematicians as the largest “sporadic group” (that … more →
Types of Realism in Mathematics
— 4 comments
Kenny wrote 4 years ago: The issues noted in my “Eight Views of Mathematics” have of course been noted by other p … more →
Epistemic "Problems" With Platonism
Kenny wrote 4 years ago: The more I think about it, the more I think Benacerraf-style epistemic challenges to mathematical pl … more →
Gettier Cases in Mathematics?
— 5 comments
Kenny wrote 4 years ago: In the run-up to my qual, I was discussing Benacerraf’s epistemological objections to platonis … more →
Spooky Action at a Distance
— 14 comments
Kenny wrote 4 years ago: I’ve been rereading a bunch of the stuff on Field in the last couple days (my exam is in about … more →
Eight Views of Mathematics
— 3 comments
Kenny wrote 4 years ago: It seems to me that the three topics of my qualifying exam relate to three different questions about … more →
