Mathematical proof and the reliability of DNA evidence

American Mathematical Monthly

Volumn 103, Issue 6, 1996, Pages 491-497

  Fallis, Don ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030534339     PISSN: 00029890     EISSN: None     Source Type: Journal    
DOI: 10.2307/2974716     Document Type: Article

References (17)

1. Adleman, Leonard M., "Molecular Computation of Solutions to Combinatorial Problems," Science, v. 266, 1994, pp. 1021-1024.
2. Davis, Philip J., "Fidelity in Mathematical Discourse: Is One and One Really Two?", The American Mathematical Monthly, v. 79, no. 3, 1972, pp. 252-263.
3. Davis, Philip J., "The Rise, Fall, and Possible Transfiguration of Triangle Geometry: A Mini-history", The American Mathematical Monthly, v. 102, no. 3, 1995, pp. 204-214.
4. Dawson, John W., "The Reception of Gödel's Incompleteness Theorems", PSA 1984, v. 2, 1985, pp. 253-271.
5. Detlefsen, Michael, and Mark Lukar, "The Four-Color Theorem and Mathematical Proof", Journal of Philosophy, v. 76, 1980, pp. 803-820.
6. Devlin, Keith, "Test Tube Computing with DNA", Math Horizons, April 1995, pp. 14-21.
7. Fallis, Don T., "A Defense of a Probabilistic Method of Establishing Mathematical Truths", Ph.D. thesis, University of California, Irvine, 1995.
8. Harel, David, Algorithmics: The Spirit of Computing, Addison-Wesley, 1987.
9. Markoff, John, "Flaw undermines accuracy of Pentium chips", New York Times, Nov. 24, 1994, p. D1.
10. Polya, G., How to Solve It, 2nd edition, Princeton University Press, 1957.
11. Pomerance, Carl, "The Search for Prime Numbers", Scientific American, Dec. 1982, pp. 136-147.
12. Rabin, M. O., "Probabilistic Algorithm for Testing Primality", Journal of Number Theory, v. 12, 1980, pp. 128-138.
13. Solovay, R., and V. Strassen, "A Fast Monte-Carlo Test for Primality", SIAM Journal on Computing, v. 6, no. 1, 1977. pp. 84-85.
14. L(R) is a core model below O", The Bulletin of Symbolic Logic, v. 1, no. 1, 1995, pp. 75-84.
15. Stewart, Ian, The Problems of Mathematics, Oxford University Press, 1987.
16. Teller, Paul, "Computer Proof", Journal of Philosophy, v. 76, 1980, pp. 797-803.
17. Tymoczko, Thomas, "The Four-Color Problem and its Philosophical Significance", Journal of Philosophy, v. 76, no. 2, 1979, pp. 57-83.