Home | Browse | Search | Credits | About
Register | User Area | DL-Harvest | Help
DLIST

What Do Mathematicians Want? Probabilistic Proofs and the Epistemic Goals of Mathematicians

Fallis, Don (2002) What Do Mathematicians Want? Probabilistic Proofs and the Epistemic Goals of Mathematicians . Logique et Analyse 45(179-180).

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.

Abstract

Several philosophers have used the framework of means/ends reasoning to explain the methodological choices made by scientists and mathematicians (see, e.g., Goldman 1999, Levi 1962, Maddy 1997). In particular, they have tried to identify the epistemic objectives of scientists and mathematicians that will explain these choices. In this paper, the framework of means/ends reasoning is used to study an important methodological choice made by mathematicians. Namely, mathematicians will only use deductive proofs to establish the truth of mathematical claims. In this paper, I argue that none of the epistemic objectives of mathematicians that are currently on the table provide a satisfactory explanation of this rejection of probabilistic proofs.

EPrint Type:Journal Article (On-line/Unpaginated)
Keywords:epistemic goals, epistemology, mathematics, probability, proof
Subjects:Philosophy
Social Epistemology
ID Code:1581
Deposited On:20 October 2006
Eprint Statistics:View statistics for this eprint
Tell A Colleague:Tell a colleague about it.

Agarwal, Manindra, Neeraj Kayal, and Nitin Saxena (2002), “PRIMES is in P.” http://www.cse.iitk.ac.in/news/primality.pdf.

Anglin, W. S. (1997), The Philosophy of Mathematics: The Invisible Art. Lewiston, New York: Edwin Mellen.

Azzouni, Jody (2000), Knowledge and Reference in Empirical Science. New York: Routledge.

Chaitin, Gregory J. (1982), “Gödel’s Theorem and Information.” International Journal of Theoretical Physics 21:941-54.

Coady, C. A. J. (1992), Testimony. New York: Oxford.

Davis, Philip J. (1972), “Fidelity in Mathematical Discourse: Is One and One Really Two?” American Mathematical Monthly 79:252-63.

De Millo, Richard, Richard Lipton, and Alan Perlis (1979), “Social Processes and Proofs of Theorems and Programs.” Communications of the ACM 22:271-80.

Detlefsen, Michael and Mark Luker (1980), “The Four-Color Theorem and Mathematical Proof.” Journal of Philosophy 76:803-20.

Dreier, James. 1993. “Structures of Normative Theories.” Monist 76:22-40.

Fallis, Don (1997), “The Epistemic Status of Probabilistic Proof.” Journal of Philosophy 94:165-86.

Folina, Janet (1999), “Pictures, Proofs, and ‘Mathematical Practice’: Reply to James Robert Brown.” British Journal for the Philosophy of Science 50:425-29.

Goldman, Alvin I. (1999), Knowledge in a Social World. New York: Oxford.

Harel, David (1989), The Science of Computing. Reading, Massachusetts: Addison-Wesley.

Hersh, Reuben (1997), What Is Mathematics, Really? New York: Oxford.

Hume, David (1967), A Treatise of Human Nature. ed. L. A. Selby-Bigge. London: Oxford.

James, William (1979), The Will to Believe. Cambridge: Harvard.

Kornblith, Hilary (1999), “In Defense of a Naturalized Epistemology.” Pp. 158-69 in The Blackwell Guide to Epistemology, eds. John Greco and Ernest Sosa. Malden, Massachusetts: Blackwell.

Knuth, Donald E. (1999), “Frequently Asked Questions.” http://www-cs-staff.stanford.edu/~knuth/faq.html.

Kvanvig, Jonathan L. (1998), “Why Should Inquiring Minds Want to Know?: Meno Problems and Epistemological Axiology.” Monist 81:426-51.

Laudan, Larry (2001), “Epistemic Crises and Justification Rules.” Philosophical Topics 29:271-317.

Levi, Isaac (1962), “On the Seriousness of Mistakes.” Philosophy of Science 29:47-65.

Maddy, Penelope (1997), Naturalism in Mathematics. New York: Oxford.

Markus, Mario and Eric Goles (2002), “Cicadas Showing Up After a Prime Number of Years.” Mathematical Intelligencer 24:30-32.

Oakley, Justin (1996), “Varieties of Virtue Ethics.” Ratio 9:128-52.

Peterson, Ivars (1990), Islands of Truth. New York: W. H. Freeman and Company.

Polya, George (1954), Mathematics and Plausible Reasoning. Princeton: Princeton.

Pomerance, Carl (1981), “Recent Developments in Primality Testing.” Mathematical Intelligencer 3:97-105.

Pomerance, Carl (1982), “The Search for Prime Numbers.” Scientific American (December):136-47.

Pratt, Vaughan R. (1975), “Every Prime Has a Succinct Certificate.” SIAM Journal on Computing 4:214-20.

Rabin, M. O. (1980), “Probabilistic Algorithm for Testing Primality.” Journal of Number Theory 12:128-38.

Railton, Peter (1984), “Alienation, Consequentialism, and the Demands of Morality.” Philosophy and Public Affairs 13:134-71.

Ribenboim, Paulo (1996), The New Book of Prime Number Records. New York: Springer-Verlag.

Rivest, R., A. Shamir, and L. Adleman (1978), “A Method for Obtaining Digital Signatures and Public-Key Cryptosystems.” Communications of the ACM 21:120-126.

Rota, Gian-Carlo (1997), Indiscrete Thoughts. Boston: Birkhäuser.

Scheffler, Samuel (1982), The Rejection of Consequentialism. Oxford: Oxford.

Sherry, David (1997), “On Mathematical Error.” Studies in History and Philosophy of Science 28:393-416.

Sipka, Timothy (2002), “Alfred Bray Kempe's “Proof” of the Four-Color Theorem.” Math Horizons (November):21-23, 26.

Smart, J. C. C. and Bernard Williams (1973), Utilitarianism: For and Against. Cambridge: Cambridge.

Solovay, R. and V. Strassen (1977), “A Fast Monte-Carlo Test for Primality.” SIAM Journal on Computing 6:84-85.

Steiner, Mark (1975), Mathematical Knowledge. Ithaca: Cornell.

Tymoczko, Thomas (1979), “The Four-Color Problem and Its Philosophical Significance.” Journal of Philosophy 76:57-83.

Welling, Hans (1994), “Prime Number Identification in Idiot-Savants: Can They Calculate Them?” Journal of Autism and Developmental Disorders 24:199-207.

Williams, B. A. O. (1972), “Knowledge and Reasons.” Pp. 1-11 in Problems in the Theory of Knowledge, ed. G. H. von Wright. The Hague: Martinus Nijhoff.

Womach, Catherine and Matrin Farach (2003), “Randomization, Persuasiveness and Rigor in Proofs.” Synthese 134:71-84.

Wray, K. B. (2002), “The Epistemic Significance of Collaborative Research.” Philosophy of Science 69:150-168.

Zagzebski, Linda (2003), “The Search for the Source of Epistemic Good.” Metaphilosophy 34:12-28.

Zeilberger, Doron (1993), “Theorems for a Price: Tomorrow's Semi-Rigorous Mathematical Culture.” Notices of the American Mathematical Society 40:978-81.

EPrints dLIST, an open access archive for the Information Sciences, is supported by the School of Information Resources and Library Science and Learning Technologies Center, University of Arizona. Established in 2002, dLIST has a global Advisory Board and is a part of the Information Technology & Society Research Lab. Open Archives
Contact: Admin | Donate