What do mathematicians want? Probabilistic proofs and the epistemic goals of mathematicians

Logique et Analyse

Volumn 45, Issue 179-180, 2002, Pages 373-388

  Fallis, Don ^a  

^a UNIVERSITY OF ARIZONA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 28844492169     PISSN: 00245836     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (47)

1. Agarwal, Manindra, Neeraj Kayal, and Nitin Saxena (2002), "PRIMES isin P." http://www.cse.iitk.ac.in/news/primality.pdf
2. Anglin, W. S. (1997), The Philosophy of Mathematics: The Invisible ArtLewiston, New York: Edwin Mellen
3. Azzouni, Jody (2000), Knowledge and Reference in Empirical Science. NewYork: Routledge
4. Chaitin, Gregory J. (1982), "Gödel's Theorem andInformation." International Journal of Theoretical Physics 21:941-54
5. Coady, C. A. J. (1992), Testimony. New York: Oxford
6. Davis, Philip J. (1972), "Fidelity in Mathematical Discourse: Is Oneand One Really Two?" American Mathematical Monthly 79:252-63
7. De Millo, Richard, Richard Lipton, and Alan Perlis (1979), "SocialProcesses and Proofs of Theorems and Programs." Communications of the ACM22:271-80
8. Detlefsen, Michael and Mark Luker (1980), "The Four-Color Theoremand Mathematical Proof." Journal of Philosophy 76:803-20
9. Dreier, James. 1993. "Structures of Normative Theories." Monist76:22-40
10. Fallis, Don (1997), "The Epistemic Status of ProbabilisticProof. " Journal of Philosophy 94:165-86
11. Folina, Janet (1999), "Pictures, Proofs, and 'MathematicalBrownPractice': Reply to James Robert Brown." British Journal for the Philosophyof Science 50:425-29
12. Goldman, Alvin I. (1999), Knowledge in a Social World. New York: Oxford
13. Harel, David (1989), The Science of Computing. Reading, MassachusettsAddison-Wesley
14. Hersh, Reuben (1997), What Is Mathematics, Really? New York: Oxford
15. Hume, David (1967), A Treatise of Human Nature. ed. L. A. Selby-BiggeLondon: Oxford
16. James, William (1979), The Will to Believe. Cambridge: Harvard
17. Kornblith, Hilary (1999), "In Defense of a NaturalizedEpistemology. " Pp. 158-69 in The Blackwell Guide to Epistemology, eds. JohnGreco and Ernest Sosa. Maiden, Massachusetts: Blackwell
18. Knuth, Donald E. (1999), "Frequently Asked Questions."http:// www-cs-staff.stanford.edu/knuth/faq.html
19. Kvanvig, Jonathan L. (1998), "Why Should Inquiring Minds Want toEpistemological AxiologyKnow?: Meno Problems and Epistemological Axiology." Monist 81:426-51
20. Laudan, Larry (2001), "Epistemic Crises and JustificationRules. " Philosophical Topics 29:271-317
21. Levi, Isaac (1962), "On the Seriousness of Mistakes."Philosophy of Science 29:47-65
22. Maddy, Penelope (1997), Naturalism in Mathematics. New York: Oxford
23. Markus, Mario and Eric Goles (2002), "Cicadas Showing Up After aPrime Number of Years." Mathematical Intelligencer 24:30-32
24. Oakley, Justin (1996), "Varieties of Virtue Ethics." Ratio9:128-52
25. Peterson, Ivars (1990), Islands of Truth. New York: W. H. Freeman andCompany
26. Polya, George (1954), Mathematics and Plausible Reasoning. PrincetonPrinceton
27. Pomerance, Carl (1981), "Recent Developments in PrimalityTesting. " Mathematical Intelligencer 3:97-105
28. Pomerance, Carl (1982), "The Search for Prime Numbers. "Scientific American (December): 136-47
29. Pratt, Vaughan R. (1975), "Every Prime Has a SuccinctCertificate. " SIAM Journal on Computing 4:214-20
30. Rabin, M. O. (1980), "Probabilistic Algorithm for TestingPrimality." Journal of Number Theory 12:128-38
31. Railton, Peter (1984), "Alienation, Consequentialism, and theDemands of Morality." Philosophy and Public Affairs 13:134-71
32. Ribenboim, Paulo (1996), The New Book of Prime Number Records. New YorkSpringer-Verlag
33. Rivest, R., A. Shamir, and L. Adleman (1978), "A Method forObtaining Digital Signatures and Public-Key Cryptosystems." Communicationsof the ACM 21:120-126
34. Rota, Gian-Carlo (1997), Indiscrete Thoughts. Boston: Birkhauser
35. Scheffier, Samuel (1982), The Rejection of Consequentialism. OxfordOxford
36. Sherry, David (1997), "On Mathematical Error." Studies inHistory and Philosophy of Science 28:393-416
37. Sipka, Timothy (2002), "Alfred Bray Kempe's "Proof of theFour-Color Theorem." Math Horizons (November):21-23, 26
38. Smart, J. C. C. and Bernard Williams (1973), Utilitarianism: For andAgainst. Cambridge: Cambridge
39. Solovay, R. and V. Strassen (1977), "A Fast Monte-Carlo Test forPrimality." SIAM Journal on Computing 6:84-85
40. Steiner, Mark (1975), Mathematical Knowledge. Ithaca: Cornell
41. Tymoczko, Thomas (1979), "The Four-Color Problem and ItsPhilosophical Significance." Journal of Philosophy 76:57-83
42. Welling, Hans (1994), "Prime Number Identification in Idiot-SavantsCan They Calculate Them?" Journal of Autism and Developmental Disorders24:199-207
43. Williams, B. A. O. (1972), "Knowledge and Reasons." Pp. 1-11 inProblems in the Theory of Knowledge, ed. G. H. von Wright. The Hague: MartinusNijhoff
44. Womach, Catherine and Matrin Farach (2003), " RandomizationPersuasiveness and Rigor in Proofs." Synthese 134:71-84
45. Wray, K. B. (2002), "The Epistemic Significance of CollaborativeResearch." Philosophy of Science 69:150-168
46. Zagzebski, Linda (2003), "The Search for the Source of EpistemicGood." Metaphilosophy 34:12-28
47. Zeilberger, Doron (1993), "Theorems for a Price: Tomorrow'sSemi-Rigorous Mathematical Culture." Notices of the American MathematicalSociety 40:978-81