Methodology
A new hypothesis on the basic features characterizing the Foundations of Mathematics (FoM) is suggested.

A Pluralist Foundation of the Mathematics of the First Half of the Twentieth Century

Albert Einstein’s special theory of relativity, by A. I. Miller. Pp 466. $27·50. 1981. ISBN 0-201-04680-6 (Addison-Wesley)

An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov's 1932 Paper

Dictionary of scientific biography

This comprehensive history traces the development of mathematical ideas and the careers of the men responsible for them. Volume 1 looks at the discipline's origins in Babylon and Egypt, the creation of geometry and trigonometry by the Greeks, and the role of mathematics in the medieval and early modern periods. Volume 2 focuses on calculus, the rise of analysis in the nineteenth century, and the number theories of Dedekind and Dirichlet. The concluding volume covers the revival of projective geometry, the emergence of abstract algebra, the beginnings of topology, and the influence of Goedel on recent mathematical study.

Mathematical Thought from Ancient to Modern Times

List of tables Preface Acknowledgements 1. Introduction Part I. Development of Mathematics within Subsystems of Z2: 2. Recursive comprehension 3. Arithmetical comprehension 4. Weak Konig's lemma 5. Arithmetical transfinite recursion 6. pi11 comprehension Part II. Models of Subsystems of Z2: 7. ss-models 8. omega-models 9. Non-omega-models Part III. Appendix: 10. Additional results Bibliography Index.

A Pluralist Foundation of the Mathematics of the First Half of the Twentieth Century

Citations

Albert Einstein’s special theory of relativity, by A. I. Miller. Pp 466. $27·50. 1981. ISBN 0-201-04680-6 (Addison-Wesley)

An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov's 1932 Paper

References

Dictionary of scientific biography

Mathematical Thought from Ancient to Modern Times

Subsystems of Second Order Arithmetic

Foundations of Constructive Mathematics

Set Theory and the Continuum Hypothesis

Related Papers (5)

Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts

The Indispensability Argument and Multiple Foundations for Mathematics

On three arguments against categorical structuralism

Foundations of Mathematics: From Hilbert and Wittgenstein to the Categorical Unity of Science

The Architecture of Modern Mathematics: Essays in History and Philosophy