<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2002-11-18 18:29:08Functions and mappings Type theory Impredicativity Philosophy of mathematics Axiom of reducibility Logicism Function Principia Mathematica Axiom of choice Mathematics Logic Mathematical logic |
| Philosophy of Mathematics SIGMAA CharterDocID: 1vqOI - View Document |
| POMSIGMAA Newsletter Spring/Summer, 2008 Greetings from the Executive Board of POMSIGMAA, the Special Interest Group of the Mathematical Association of America for the Philosophy of Mathematics. We have newsletters twiDocID: 1vfZq - View Document |
| Philosophy of Mathematics SIGMAA CharterDocID: 1vcBM - View Document |
| Announcement Novembertagung on the History of Mathematics 2017 Theme: “Tools for research in mathematics, history and philosophy” in Brussels, Belgium November 2-4, 2017DocID: 1v2tx - View Document |
| Q-Curves with Complex Multiplication Ley Wilson A thesis submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Pure MathematicsDocID: 1v1R7 - View Document |