Towards a Philosophy of Real Mathematics

Preface 1. Introduction: a role for history Part I. Human and Artificial Mathematicians: 2. Communicating with automated theorem provers 3. Automated conjecture formation 4. The role of analogy in mathematics Part II. Plausibility, Uncertainty and Probability: 5. Bayesianism in mathematics 6. Uncertainty in mathematics and science Part III. The Growth of Mathematics: 7. Lakatos's philosophy of mathematics 8. Beyond the methodology of mathematical research programmes 9. The importance of mathematical conceptualisation Part IV. The Interpretation of Mathematics: 10. Higher dimensional algebra Appendix Bibliography Index.

[1]  H. Poincaré.  Science and Hypothesis , 1906 .

[2]  J. Elston.  Review: E. F. Spurgeon, Life Contingencies , 1924 .

[3]  H. Brandt.  Über eine Verallgemeinerung des Gruppenbegriffes , 1927 .

[4]  Godfrey H. Hardy,et al.  A mathematician's apology , 1941 .

[5]  R. Collingwood.  An essay on metaphysics , 1940 .

[6]  G. Polya,et al.  Heuristic Reasoning and the Theory of Probability , 1941 .

[7]  C. Hempel.  On the Nature of Mathematical Truth , 1945 .

[8]  R. Collingwood,et al.  The Idea of History. , 1947 .

[9]  Rudolf Carnap,et al.  Logical foundations of probability , 1951 .

[10]  H. Weyl.  A Half-Century of Mathematics , 1951 .

[11]  N. Steenrod,et al.  Foundations of Algebraic Topology , 1952 .

[12]  G. Pólya.  Mathematics and Plausible Reasoning , 1958 .

[13]  T. Kuhn,et al.  The Structure of Scientific Revolutions. , 1964 .

[14]  K. Popper,et al.  Conjectures and Refutations , 1963 .

[15]  V. Arnold.  SMALL DENOMINATORS AND PROBLEMS OF STABILITY OF MOTION IN CLASSICAL AND CELESTIAL MECHANICS , 1963 .

[16]  Joseph R. Shoenfield,et al.  Mathematical logic , 1967 .

[17]  Ian Hacking,et al.  Slightly More Realistic Personal Probability , 1967, Philosophy of Science.

[18]  I. Lakatos.  Changes in the Problem of Inductive Logic , 1968 .

[19]  L. Hudson.  Frames of Mind: Ability, Perception and Self-Perception in the Arts and Sciences , 1970 .

[20]  P. J. Higgins.  Notes on categories and groupoids , 1971 .

[21]  S. Maclane,et al.  Categories for the Working Mathematician , 1971 .

[22]  S. Lang.  Algebraic Number Theory , 1971 .

[23]  S. Lane.  Categories for the Working Mathematician , 1971 .

[24]  M. Kline.  Mathematical Thought from Ancient to Modern Times , 1972 .

[25]  J. Dieudonne.  The Historical Development of Algebraic Geometry , 1972 .

[26]  E. Zahar.  Why did Einstein's Programme supersede Lorentz's? (II) , 1973, The British Journal for the Philosophy of Science.

[27]  B. Barnes,et al.  Scientific Knowledge: A Sociological Analysis , 1974 .

[28]  M. Hesse.  The Structure of Scientific Inference , 2023 .

[29]  J. Dieudonné.  L'abstraction et l'intuition mathématique , 1975 .

[30]  M. Crowe.  Ten “Laws” concerning patterns of change in the history of mathematics , 1975 .

[31]  I. Lakatos,et al.  Proofs and Refutations: Frontmatter , 1976 .

[32]  A. F. Chalmers,et al.  What Is This Thing Called Science , 1976 .

[33]  Michael Francis Atiyah,et al.  Bakerian Lecture, 1975: Global geometry , 1976, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[34]  P. Feyerabend.  On the Critique of Scientific Reason , 1976 .

[35]  D. Bloor,et al.  Knowledge and Social Imagery , 1977 .

[36]  H. Mehrtens.  T. S. Kuhn's theories and mathematics: A discussion paper on the “new historiography” of mathematics , 1976 .

[37]  T. Kuhn,et al.  The Essential Tension , 1977 .

[38]  R. H. Crowell,et al.  Introduction to Knot Theory , 1977 .

[39]  I. Lakatos,et al.  Mathematics, science and epistemology: Changes in the problem of inductive logic , 1978 .

[40]  J. Adams.  Infinite Loop Spaces (AM-90): Hermann Weyl Lectures, The Institute for Advanced Study. (AM-90) , 1978 .

[41]  J. Adams,et al.  Infinite Loop Spaces , 1978 .

[42]  S. Feferman.  The Logic of Mathematical Discovery vs. the Logical Structure of Mathematics , 1978, PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association.

[43]  M. Atiyah.  The Unity of Mathematics , 1978 .

[44]  M. N. Wise.  William Thomson's Mathematical Route to Energy Conservation: A Case Study of the Role of Mathematics in Concept Formation , 1979 .

[45]  G. Pólya,et al.  Mathematics and Plausible Reasoning: Vol. I: Induction and Analogy in Mathematics , 1979 .

[46]  A. Weil.  Une lettre et un extrait de lettre à Simone Weil , 1979 .

[47]  I. Hacking.  IMRE LAKATOS'S PHILOSOPHY OF SCIENCE* , 1979, The British Journal for the Philosophy of Science.

[48]  R. Hersh.  Some proposals for reviving the philosophy of mathematics , 1979 .

[49]  G. Giorello.  INTUITION AND RIGOR: SOME PROBLEMS OF A 'LOGIC OF DISCOVERY' IN MATHEMATICS! , 1980 .

[50]  Logic and Category Theory , 1981 .

[51]  W. Thurston.  Three dimensional manifolds, Kleinian groups and hyperbolic geometry , 1982 .

[52]  Georg Kreisel,et al.  Constructive Logic Versus Algebraization I , 1982 .

[53]  F. Browder.  The mathematical heritage of Henri Poincaré , 1983 .

[54]  A. Borel.  Mathematics: art and science , 1983 .

[55]  The Philosophy of Mathematics of Imre Lakatos , 1983 .

[56]  Philip Kitcher,et al.  The nature of mathematical knowledge , 1985 .

[57]  E. Zahar.  Logic of Discovery or Psychology of Invention?* , 1983, The British Journal for the Philosophy of Science.

[58]  M. Mulkay,et al.  Opening Pandora's Box: A Sociological Analysis of Scientists' Discourse , 1984 .

[59]  S. Lane.  Mathematics, Form and Function , 1985 .

[60]  Larry Wos,et al.  What Is Automated Reasoning? , 1987, J. Autom. Reason..

[61]  E. Grosholz.  Two Episodes in the Unification of Logic and Topology , 1985, The British Journal for the Philosophy of Science.

[62]  L. Taylor,et al.  The Neglect of Experiment , 1986 .

[63]  D. Ravenel.  Complex Cobordism and Stable Homotopy Groups of Spheres , 1986 .

[64]  R. Stanley.  What Is Enumerative Combinatorics , 1986 .

[65]  David Hestenes,et al.  A Unified Language for Mathematics and Physics , 1986 .

[66]  Ronald Brown.  From Groups to Groupoids: a Brief Survey , 1987 .

[67]  K. Mackenzie.  Lie groupoids and Lie algebroids in Differential Geometry: REFERENCES , 1987 .

[68]  Ian Stewart.  The problems of mathematics , 1987 .

[69]  I. Hacking,et al.  How Experiments End , 1989 .

[70]  Is our mathematics natural? The case of equilibrium statistical mechanics , 1988 .

[71]  A. Kumpera.  Review: Kirill Mackenzie, Lie groupoids and Lie algebroids in differential geometry , 1988 .

[72]  D. J. Winter.  A History of Algebra. , 1988 .

[73]  Peter Urbach,et al.  Scientific Reasoning: The Bayesian Approach , 1989 .

[74]  M. Reid.  Undergraduate Algebraic Geometry , 1989 .

[75]  Angus Macintyre,et al.  Trends in Logic , 2001 .

[76]  I. Stewart.  Does God Play Dice? The New Mathematics of Chaos , 1989 .

[77]  E. Glas.  Testing the philosophy of mathematics in the history of mathematics: Part II: The similarity between mathematical and scientific growth of knowledge , 1989 .

[78]  J. Vickers,et al.  Number Theory and Dynamical Systems , 1989 .

[79]  D. Bleecker,et al.  Topology and Analysis: The Atiyah-Singer Index Formula and Gauge-Theoretic Physics , 1989 .

[80]  C. McLarty.  The Uses and Abuses of the History of Topos Theory , 1990, The British Journal for the Philosophy of Science.

[81]  I. Moerdijk,et al.  Models for smooth infinitesimal analysis , 1990 .

[82]  J. Bellissard.  Gap labeling theorems for Schrodinger operators , 1990 .

[83]  A. Joyal,et al.  The geometry of tensor calculus, I , 1991 .

[84]  D. Ruelle.  Chance and Chaos , 2020 .

[85]  G. Sussman,et al.  Chaotic Evolution of the Solar System , 1992, Science.

[86]  S. Maclane.  The Protean Character of Mathematics , 1992 .

[87]  S. Restivo.  Mathematics in Society and History: Sociological Inquiries , 1992 .

[88]  R. Jeffrey.  Probability and the Art of Judgment , 1992 .

[89]  Galois Theory, Algebraic Number Theory, and Zeta Functions , 1992 .

[90]  P. Cartier.  An Introduction to Zeta Functions , 1992 .

[91]  D. Roberts.  The existential graphs , 1992 .

[92]  ca. Proclus,et al.  Proclus' commentary on the first book of Euclid's elements , 1992 .

[93]  K. Mackenzie.  Double Lie algebroids and second-order geometry, I , 1992 .

[94]  G. Mackey.  The scope and history of commutative and noncommutative harmonic analysis , 1992 .

[95]  W. Harper,et al.  Kant and the Exact Sciences , 1992 .

[96]  A. Jaffe,et al.  “Theoretical mathematics”: toward a cultural synthesis of mathematics and theoretical physics , 1993, math/9307227.

[97]  E. Glas.  Mathematical progress: Between reason and society , 1993 .

[98]  L. Crane.  Topological Field Theory As The Key To Quantum Gravity , 1993, hep-th/9308126.

[99]  Daniel Kahneman,et al.  Probabilistic reasoning , 1993 .

[100]  P. Kitcher.  The Advancement of Science , 1993 .

[101]  Nick D. Gilbert,et al.  Knots and surfaces , 1994 .

[102]  Gonzalo E. Reyes,et al.  The Logical Foundations of Cognition , 1994 .

[103]  J. Earman,et al.  Bayes or Bust? A Critical Examination of Bayesian Confirmation Theory , 1994 .

[104]  C. Deninger.  Evidence for a Cohomological Approach to Analytic Number Theory , 1994 .

[105]  Introduction to quantum field theory for mathematicians , 1995 .

[106]  Jamie Tappenden.  Extending knowledge and 'fruitful concepts' : fregean themes in the foundations of mathematics , 1995 .

[107]  J. Baez,et al.  Higher dimensional algebra and topological quantum field theory , 1995, q-alg/9503002.

[108]  K. Mackenzie.  Lie Algebroids and Lie Pseudoalgebras , 1995 .

[109]  L. Crane.  Clock and category: Is quantum gravity algebraic? , 1995, gr-qc/9504038.

[110]  Karen K. Uhlenbeck,et al.  Geometry and Quantum Field Theory , 1995 .

[111]  M. Kapranov.  Analogies between the Langlands Correspondence and Topological Quantum Field Theory , 1995 .

[112]  H. Weyl.  Part II. Topology and Abstract Algebra as Two Roads of Mathematical Comprehension , 1995 .

[113]  E. Glas.  Kuhn, Lakatos, and the Image of Mathematics , 1995 .

[114]  M. Atiyah.  Quantum theory and geometry , 1995 .

[115]  H. Edwards.  Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory , 1977 .

[116]  A. Weinstein.  Groupoids: unifying internal and external symmetry , 1996, math/9602220.

[117]  Equivariant Gromov - Witten Invariants , 1996, alg-geom/9603021.

[118]  Paolo Mancosu.  Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century , 1996 .

[119]  D. Laugwitz.  Bernhard Riemann 1826–1866 , 1996 .

[120]  S. Chern,et al.  Differential Geometry: Cartan's Generalization of Klein's Erlangen Program , 2000 .

[121]  Tristan Needham,et al.  Visual Complex Analysis , 1997 .

[122]  M. Saito,et al.  Knotted Surfaces and Their Diagrams , 1997 .

[123]  P. Maddy.  Naturalism in mathematics , 1997 .

[124]  F. William Lawvere,et al.  Conceptual Mathematics: A First Introduction to Categories , 1997 .

[125]  Samson Abramsky.  Game Semantics for Programming Languages (Abstract) , 1997, MFCS.

[126]  J. Marquis.  Abstract Mathematical Tools and Machines for Mathematics , 1997 .

[127]  David Bailey,et al.  On the rapid computation of various polylogarithmic constants , 1997, Math. Comput..

[128]  D. Fallis.  The Epistemic Status of Probabilistic Proof , 1997 .

[129]  Branden Fitelson.  Using Mathematica to Understand the Computer Proof of the Robbins Conjecture , 1997 .

[130]  Samson Abramsky.  Games in the Semantics of Programming Languages , 1997 .

[131]  J. Ladyman.  What is Structural Realism , 1998 .

[132]  P. Simons,et al.  Reviews-The Applicability of Mathematics as a Philosophical Problem , 1998 .

[133]  Structures and Diagrammatics of Four Dimensional Topological Lattice Field Theories , 1998, math/9806023.

[134]  Robin Thomas,et al.  AN UPDATE ON THE FOUR-COLOR THEOREM , 1998 .

[135]  C. Vafa.  Geometric Physics , 1998, hep-th/9810149.

[136]  Stephen Muggleton,et al.  Scientific knowledge discovery using inductive logic programming , 1999, Commun. ACM.

[137]  The Quantitative Problem of Old Evidence , 1999, The British Journal for the Philosophy of Science.

[138]  N. Cartwright.  The dappled world : a study of the boundaries of science , 1999 .

[139]  J. Propp.  Enumeration of Matchings: problems and Progress , 1999, math/9904150.

[140]  I. Hacking.  The Social Construction of What , 1999 .

[141]  Y. Rav.  Why Do We Prove Theorems , 1999 .

[142]  N. Cartwright.  Models as Mediators: Models and the limits of theory: quantum Hamiltonians and the BCS models of superconductivity , 1999 .

[143]  Ronald Brown.  Groupoids and crossed objects in algebraic topology , 1999 .

[144]  Simon Colton,et al.  Refactorable Numbers - A Machine Invention , 1999 .

[145]  R. Stanley,et al.  Enumerative Combinatorics: Index , 1999 .

[146]  Higher-Dimensional Algebra and Planck-Scale Physics , 1999, gr-qc/9902017.

[147]  Paul Taylor,et al.  Practical Foundations of Mathematics , 1999, Cambridge studies in advanced mathematics.

[148]  C. Krattenthaler.  ADVANCED DETERMINANT CALCULUS , 1999, math/9902004.

[149]  N. Cartwright.  The Dappled World , 1999 .

[150]  An Introduction to spin foam models of quantum gravity and BF theory , 1999, gr-qc/9905087.

[151]  Margaret Morrison,et al.  Models as Mediators , 1999 .

[152]  Quantum spacetime: what do we know? , 1999, gr-qc/9903045.

[153]  Mark A. Wilson.  To Err is Humean , 1999 .

[154]  Ursula Martin,et al.  Computers, Reasoning and Mathematical Practice , 1999 .

[155]  D. Laugwitz,et al.  Bernhard Riemann 1826-1866: Turning Points in the Conception of Mathematics , 1999 .

[156]  R. Hughes.  Models as Mediators: The Ising model, computer simulation, and universal physics , 1999 .

[157]  Larry Wos,et al.  A fascinating country in the world of computing: your guide to automated reasoning , 1999 .

[158]  P. Sarnak,et al.  Zeroes of zeta functions and symmetry , 1999 .

[159]  T. Crilly.  From Kant to Hilbert: a sourcebook in the foundations of mathematics , William Ewald (ed.). 2 vols. Pp. 1340. 1999. £50 (Paperback). ISBN 0 19 850537 X (Oxford University Press). , 2000, The Mathematical Gazette.

[160]  D. Kreimer.  Knots and Feynman Diagrams , 2000 .

[161]  Lawrence B. Sklar.  Interpreting theories: the case of statistical mechanics , 2000, The British Journal for the Philosophy of Science.

[162]  S. French,et al.  Models, Theories, and Structures: Thirty Years on , 2000, Philosophy of Science.

[163]  S. Okasha.  Van Fraassen's critique of inference to the best explanation , 2000 .

[164]  N. Costa,et al.  Theories, models and structures: Thirty years on , 2000 .

[165]  J. Pearl.  Causality: Models, Reasoning and Inference , 2000 .

[166]  C. McLarty.  Voir-Dire in the Case of Mathematical Progress , 2000 .

[167]  G. Wilmers,et al.  On the Structure of Probability Functions in the Natural World , 2000, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[168]  Jean Paul Van Bendegem.  Analogy and metaphor as essential tools for the working mathematician. , 2000 .

[169]  G. Alexanderson.  The random walks of George Pólya , 2000 .

[170]  V. Arnold.  Polymathematics: Is mathematics a single science or a set of arts? , 2000 .

[171]  C. Howson.  Hume's Problem , 2000 .

[172]  William G. Faris.  Philosophy of Mathematics : An Introduction to the World of Proofs and Pictures , 2000 .

[173]  M. Schützenberger,et al.  Triangle of Thoughts , 2001 .

[174]  B. Larvor.  What is Dialectical Philosophy of Mathematics , 2001 .

[175]  Jonathan M. Borwein,et al.  Experimental Mathematics: Recent Developments and Future Outlook , 2000 .

[176]  N. Hitchin.  Global Differential Geometry , 2001 .

[177]  David H. Bailey,et al.  On the Random Character of Fundamental Constant Expansions , 2001, Exp. Math..

[178]  D. Eisenbud,et al.  Mathematics Comes from Many Sources , 2001 .

[179]  Donald MacKenzie,et al.  Mechanizing Proof: Computing, Risk, and Trust , 2001 .

[180]  M. Kapranov.  Book Review: Gröbner deformations of hypergeometric\linebreak[1] differential equations , 2001 .

[181]  José Ferreirós,et al.  The Road to Modern Logic—An Interpretation , 2001, Bulletin of Symbolic Logic.

[182]  B. Engquist,et al.  Mathematics Unlimited: 2001 and Beyond , 2001 .

[183]  P. Cartier.  A mad day’s work: from Grothendieck to Connes and Kontsevich The evolution of concepts of space and symmetry , 2001 .

[184]  Max Albert.  Bayesian Learning and Expectations Formation: Anything Goes , 2001 .

[185]  Ronald Solomon,et al.  A brief history of the classification of the finite simple groups , 2001 .

[186]  C. Isham,et al.  Spacetime and the Philosophical Challenge of Quantum Gravity , 2001 .

[187]  S. Salinas.  The Ising Model , 2001 .

[188]  J. Pearl.  Bayesianism and Causality, or, Why I am Only a Half-Bayesian , 2001 .

[189]  Y. Manin.  Triangle of Thoughts (review of the book by A. Connes, A. Lichnerowicz, M.P. Schützenberger) , 2002 .

[190]  Helmut Hasse,et al.  Number Theory , 2020, An Introduction to Probabilistic Number Theory.

[191]  T. Leinster.  A survey of definitions of -category. , 2002 .

[192]  F. Markopoulou.  Coarse graining in spin foam models , 2002, gr-qc/0203036.

[193]  T. Gannon.  Postcards from the Edge, or Snapshots of the Theory of Generalised Moonshine , 2001, Canadian Mathematical Bulletin.

[194]  Volker Sorge,et al.  Integrating Computer Algebra into Proof Planning , 1998, Journal of Automated Reasoning.

[195]  Erica Melis,et al.  The Heine–Borel Challenge Problem. In Honor of Woody Bledsoe , 1998, Journal of Automated Reasoning.

[196]  M. Crowe.  Duhem and history and philosophy of mathematics , 1990, Synthese.

[197]  R. Hersh.  Mathematics has a front and a back , 1991, Synthese.