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 ]
[
下一页 ]