打字猴:1.70105863e+09
1701058630 Poincaré, Henri. The Foundations of Science, trans. George Bruce Halsted. Lancaster, Pa.: Science Press, 1946. (Orig. pub. 1913.) (Especially portions of Book 2, “Mathematical Reasoning,” in “Science and Method,” pp. 448-85 [see Poincaré, May 1906].)
1701058631
1701058632 ——. “La logique de l’infini.” Revue de Métaphysique et de Morale 17 (1909): 461-82.
1701058633
1701058634 ——. “Mathematical Creation” (1908). In Newman, vol. 4, 1956, pp. 2041-50.
1701058635
1701058636 ——. “Mathematical Discovery” In Rapport and Wright, 1964, pp. 128-37.
1701058637
1701058638 ——. “Les mathématiques et la logique.” Revue de Métaphysique et de Morale (part 1) 13(1905): 815-35; (part 2) 14 (May 1906): 17-34. English translation by George Bruce Halsted, in Poincaré, 1946 (orig. pub. 1913), chapter 3, “Mathematics and Logic,” pp. 448-59; chapter 4, “The New Logics,” pp. 460-71; and chapter 5, “The Latest Efforts of the Logisticians,” pp. 472-85 (all in Book 2 of the section called “Science and Method” of The Foundations of Science).
1701058639
1701058640 Russell, Bertrand. The Autobiography of Bertrand Russell, 1872-1914; 1914-1944. Boston: Little, Brown, vol. 1, 1967; vol. 2, 1968.
1701058641
1701058642 ——. Essays in Analysis. Ed. Douglas Lackey. New York: George Braziller, 1973.
1701058643
1701058644 ——. Introduction to Mathematical Philosophy. New York: Routledge, 1993.(Orig. pub. 1919.)
1701058645
1701058646 ——. “Mathematical Logic As Based on the Theory of Types.” In Russell, Logic and Knowledge. Essays 1901-1950, ed. Robert Charles Marsh. New York: Macmillan, 1956. (Orig. pub. 1908.)
1701058647
1701058648 ——. “Mathematics and the Metaphysicians” (1929). In Newman, vol. 3, 1956, pp. 1576-90.
1701058649
1701058650 ——. “My Mental Development” (1954). In Newman, vol. 1, 1956, pp. 381-94.
1701058651
1701058652 ——. My Philosophical Development. New York: Simon and Schuster, 1959.
1701058653
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
[ 上一页 ]  [ :1.70105863e+09 ]  [ 下一页 ]