打字猴:1.701058669e+09
1701058669
1701058670 Stein, Howard. “Logos, Logic, and Logistiké: Some Philosophical Remarks on Nineteenth-Century Transformation of Mathematics.” In Aspray and Kitcher, 1988, pp. 238-59. (“Progenitors or foreshadowers” of logicism, formalism, and intuitionism.)
1701058671
1701058672 Tenn, Joseph S. “Henri Poincaré: The Ninth Bruce Medalist” Mercury 20, no. 4 (July/August 1991): 111-12.
1701058673
1701058674 Schuyler. “Russell, Bertrand. Originator of Logicism.” In Simonis, 1999, p. 172.
1701058675
1701058676 Van Evra, James W. “The Search for Mathematical Roots, 1870-1940: Logistics, Set Theories, and the Foundations of Mathematics from Cantor through Russell to Godel.” Isis 94, no. 2 (June 2003): 387. Review of I. Grattan-Guinness’s book by this name.
1701058677
1701058678 Van Heijenoort, J., ed. From Frege to Gödel: a Source Book in Mathematical Logic, 1879-1931. Cambridge, Mass.: Harvard University Press, 1967.
1701058679
1701058680 Young, Robyn V. “Bertrand Russell.” In Young, 1998, pp. 428-31.
1701058681
1701058682 9. 希尔伯特VS布劳威尔
1701058683
1701058684 Barrow, John D. “The Comedy of Hilbert and Brouwer” In Barrow, 1992, pp. 216-26.
1701058685
1701058686 Brouwer, Luitzen Egbertus Jan. “Intuitionist Set Theory.” Paper presented to the Royal Academy of Sciences, December 18, 1920. In Mancosu, 1998, pp. 23-39.
1701058687
1701058688 Hatcher, Donald L. “Epistemology and Education: A Case for Fallibilism.” Online, undated: www.bakeru.edu/crit/literature/dlh_ct_epistemology.htm.
1701058689
1701058690 Hays, John. “The Battle of the Frog and the Mouse (from the Fables of Aleph).” Mathematical Intelligencer 6, no. 2 (1984): 77-80.
1701058691
1701058692 Hilbert, David. “From ‘Mathematical Problems: Lecture Delivered before the International Congress of Mathematicians at Paris in 1900. (Paris Problems and the Formalist Program).’” In Calinger, 1995, pp. 698-718.
1701058693
1701058694 Mancosu, Paolo. From Brouwer to Hilbert. New York: Oxford University Press, 1998.
1701058695
1701058696 Nyikos, Peter. “Hilbert’s First and Second Problems and the Foundations of Mathematics.” Topology Atlas Invited Contributions 9, no. 3 (2004): 1-6. Online: PDF form is http://arxiv.org/PS_cache/math/pdf/0412/0412555.pdf.
1701058697
1701058698 Peckhaus, Volker. “The Pragmatism of Hilbert’s Program.” Synthese 137 (2003): 141-56. Online, pp. 1-17: www-fakkw.upb.de/institute/philosophie/Personal/Peckhaus/Texte_zum_Download/pragmatism-h.pdf.
1701058699
1701058700 Reid, C. Hilbert. New York: Springer-Verlag, 1970.
1701058701
1701058702 Simpson, Stephen G. “Partial Realizations of Hilbert’s Program,” February 4, 1986, pp. 1-22. Online: ftp://ftp.math.psu.edu/simpson/papers/hilbert.pdf. Published in the Journal of Symbolic Logic 53 (1988): 349-63.
1701058703
1701058704 Snapper, Ernst. “The Three Crises in Mathematics: Logicism, Intuitionism, and Formalism.” Chapter 106 in Swetz, 1994, pp. 697-707.
1701058705
1701058706 Stein, Howard. “Logos, Logic, and Logistiké: Some Philosophical Remarks on Nineteenth-Century Transformation of Mathematics ” In Aspray and Kitcher, 1988, pp. 238-59.
1701058707
1701058708 van Dalen, Dirk. Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer. New York: Oxford University Press. Vol. 1, The Dawning Revolution, 1999. Vol. 2, Hope and Disillusion, 2005.
1701058709
1701058710 ——. “The War of the Frogs and the Mice, or the Crisis of the Mathematische Annalen.” Mathematical Intelligencer 12, no. 4 (1990): 17-31.
1701058711
1701058712 van Stigt, Walter P. Brouwer’s Intuitionism. New York: Elsevier Science, 1990.
1701058713
1701058714 ——. “Brouwer’s Intuitionist Program.” In Mancosu, 1998, pp. 1-22.
1701058715
1701058716 von Mises, Richard. “Logistic” and “The Foundations of Mathematics.” Sections in “Mathematical Postulates and Human Understanding” (1951). In Newman, vol. 3, 1956, pp. 1733-54.
1701058717
1701058718 Weyl, Hermann. “David Hilbert and His Mathematical Work” (1944). In Reid, 1970, pp. 245-83. (Especially Axiomatics, pp. 264-74).
[ 上一页 ]  [ :1.701058669e+09 ]  [ 下一页 ]