1701058654
——. Mysticism and Logic (essays). New York: Doubleday, undated (1958?).
1701058655
1701058656
——. Portraits from Memory. New York: Simon and Schuster, 1956.
1701058657
1701058658
——. Principles of Mathematics. 2nd ed. New York: W. W. Norton, 1938. (Orig. pub. 1903.)
1701058659
1701058660
——. “On Some Difficulties in the Theory of Transfinite Numbers and Order Types.” Proceedings of the London Mathematical Society, series 2, 4 (March 7, 1906): 29-53. (In Heinzmann, 1986, pp. 54-78. Also chapter 7 in Russell, 1973, pp. 135-64.)
1701058661
1701058662
——. “The Study of Mathematics” (1902). In Russell, 1917, pp. 55-69.
1701058663
1701058664
——. “La Théorie des Types Logiques.” Revue de Métaphysique et de Morale 18 (May 1910): 263-301. English translation: “The Theory of Logical Types,” chapter 10 in Russell, 1973, pp. 215-52.
1701058665
1701058666
Slater, John G. Bertrand Russell. Bristol, England: Thoemmes Press, 1994.
1701058667
1701058668
Snapper, Ernst. “The Three Crises in Mathematics: Logicism, Intuitionism, and Formalism.” Chapter 106 in Swetz, 1994, pp. 697-707.
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
[
上一页 ]
[ :1.701058654e+09 ]
[
下一页 ]