History and Philosophy of Modern Mathematics

[1]  Wilhelm Ackermann,et al.  Begründung des „tertium non datur” mittels der Hilbertschen Theorie der Widerspruchsfreiheit , 1925 .

[2]  George Gasper,et al.  Positive Sums of the Classical Orthogonal Polynomials , 1977 .

[3]  F. Klein,et al.  Vorlesungen über die hypergeometrische Funktion: Gehalten An Der Universität Göttingen Im Wintersemester 1893/94 , 1981 .

[4]  Pamela McCorduck,et al.  Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence , 1979 .

[5]  Constance Reid.  Neyman from Life , 1982 .

[6]  W. Quine,et al.  Philosophy of mathematics: Truth by convention , 1984 .

[7]  T. Skolem.  Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen , 1934 .

[8]  Judith V. Grabiner,et al.  Computers and the nature of man: a historian’s perspective on controversies about artificial intelligence , 1986 .

[9]  Willard Van Orman Quine,et al.  Philosophy of Logic. , 1988 .

[10]  Richard Askey,et al.  POSITIVE JACOBI POLYNOMIAL SUMS , 1972 .

[11]  Warren D. Goldfarb,et al.  Logicism and Logical Truth , 1982 .

[12]  Charles S. Chihara,et al.  Ontology and the vicious-circle principle , 1973 .

[13]  J. Dieudonné,et al.  Abrégé d'histoire des mathématiques : 1700-1900 , 1978 .

[14]  Sherry Turkle,et al.  The second self: computers and the human spirit , 1984 .

[15]  T. Huxley.  Method and results , 1901 .

[16]  John R. Lucas.  HUMAN AND MACHINE LOGIC: A REJOINDER , 1968, The British Journal for the Philosophy of Science.

[17]  C. Peirce.  On the Algebra of Logic: A Contribution to the Philosophy of Notation , 1885 .

[18]  G. Boole.  An Investigation of the Laws of Thought: On which are founded the mathematical theories of logic and probabilities , 2007 .

[19]  Hartry Field.  Quine and the Correspondence Theory , 1974 .

[20]  Wright Je.  A College Algebra. , 1906 .

[21]  A. Flexner.  I remember : the autobiography of Abraham Flexner , 1940 .

[22]  Edward V. Huntington.  A set of postulates for ordinary complex algebra , 1905 .

[23]  Gregory H. Moore.  Zermelo's Axiom of Choice: Its Origins, Development, and Influence , 1982 .

[24]  Max S. Marshall,et al.  The Ph.D. , 1962 .

[25]  J. Weizenbaum.  Computer Power And Human Reason: From Judgement To Calculation , 1978 .

[26]  Donald Ervin Knuth,et al.  The Art of Computer Programming , 1968 .

[27]  Paul Benacerraf,et al.  Philosophy of mathematics: What numbers could not be , 1965 .

[28]  Leopold Löwenheim,et al.  Über die Auflösung von Gleichungen im logischen Gebietekalkul , 1910 .

[29]  W. D. Cairns.  THE MATHEMATICAL ASSOCIATION OF AMERICA. , 1917, Science.

[30]  Howard Eves,et al.  An introduction to the history of mathematics , 1953 .

[31]  Harold T. Hodes.  Logicism and the Ontological Commitments of Arithmetic , 1984 .

[32]  B. Russell.  On Some Difficulties in the Theory of Transfinite Numbers and Order Types , 1907 .

[33]  Irving M. Copi.  The theory of logical types , 1971 .

[34]  Michael Hallett.  Towards a Theory of Mathematical Research Programmes (II) , 1979, The British Journal for the Philosophy of Science.

[35]  A. C. Dixon.  Summation of a certain Series , 1902 .

[36]  E. Zermelo.  Grundlagen einer allgemeinen Theorie der mathematischen Satzsysteme , 1935 .

[37]  D. J. Finney,et al.  Life of a Scientist , 1979, Asia-Pacific Biotech News.

[38]  Eike-Henner W. Kluge,et al.  On the foundations of geometry and formal theories of arithmetic , 1973 .

[39]  H. Goldstine.  A Branch of Mathematics. (Book Reviews: A History of the Calculus of Variations from the 17th through the 19th Century) , 1980 .

[40]  Ch. Pommerenke,et al.  The de Branges theorem on univalent functions , 1985 .

[41]  H. Poincaré,et al.  Les Mathematiques et la Logique. , 1906 .

[42]  D. Hilbert.  Die logischen Grundlagen der Mathematik , 1922 .