scientific article; zbMATH DE number 1273299
In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundation of mathematics. The chapters deal among others with the works and thoughts of Georg Cantor, David Hilbert and Kurt Gödel. All papers were previously published, except Deciding the undecidable: wrestling with Hilbert's problems, which is based on a lecture given to a general audience in 1994. The other papers are the following: 2. ``Infinity in mathematics: Is Cantor necessary?; 3. ``The logic of mathematical discovery versus the logical structure of mathematics; 4. ``Foundational ways; 5. ``Working foundations; 6. ``Gödel's life and work; 7. ``Kurt Gödel: conviction and caution; 8. ``Introductory note to Gödel's 1933 lecture; 9. What does logic have to tell us about mathematical proofs?; 10. ``What rests on what? The proof-theoretical analysis of mathematics; 11. ``Gödel's Dialectica interpretation and its two-way stretch; 12. ``Infinity in mathematics: Is Cantor necessary? (Conclusion); 13. ``Weyl vindicated: Das Kontinuum seventy years later; 14. ``Why a little bit goes a long way: logical foundations of scientifically applicable mathematics.
- scientific article; zbMATH DE number 977290
- The truths of logic
- The Logic in Logicism
- The place of logic in reasoning
- scientific article; zbMATH DE number 3877142
- scientific article; zbMATH DE number 2043996
- The logic of justification
- The Logic of Justification
- scientific article; zbMATH DE number 6296793
- Feferman on foundations. Logic, mathematics, philosophy
- Is mathematics problem solving or theorem proving?
- Truth and the philosophy of mathematics
- On Takeuti's early view of the concept of set
- Representations and the foundations of mathematics
- Hilbert's objectivity
- The mathematical universe
- The logic of Pit
- From realizability to induction via dependent intersection
- Lieber Herr Bernays! Lieber Herr Gödel! Gödel on finitism, constructivity, and Hilbert's program
- Three lightings of logic (Invited Talk)
- Proof theory in philosophy of mathematics
- The Operational Perspective: Three Routes
- Objectivity and truth in mathematics: a sober non-Platonist perspective
- Kurt Gödel and mathematical logic
- Weyl reexamined: ``Das Kontinuum 100 years later
- And so on \dots : reasoning with infinite diagrams
- scientific article; zbMATH DE number 1512350 (Why is no real title available?)
- IN MEMORIAM: SOLOMON FEFERMAN (1928–2016)
- Math-Selfie
- Why Predicative Sets?
- The operational penumbra: some ontological aspects
- Predicativity and Feferman
- Feferman on set theory: infinity up on trial
- Feferman's skepticism about set theory
- On the mathematical and foundational significance of the uncountable
- The prehistory of the subsystems of second-order arithmetic
- The challenge of computer mathematics
- scientific article; zbMATH DE number 6787704 (Why is no real title available?)
- scientific article; zbMATH DE number 7593562 (Why is no real title available?)
- A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES
- POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND
- Classical predicative logic-enriched type theories
- Light Dialectica revisited
- John von Neumann’s Discovery of the 2ndIncompleteness Theorem
- Reconnecting logic with discovery
- Towards a new philosophical perspective on Hermann Weyl's turn to intuitionism
- A Neglected Interpretation of Das Kontinuum
- From philosophical traditions to scientific developments: reconsidering the response to Brouwer's intuitionism
- Introducing heuristic philosophy of mathematics
- Sometimes tame, sometimes wild: weak continuity
- The logic of optics and the optics of logic
- Continuum, name and paradox
- Mathematical naturalism and revisionism about mathematics
- Developing continuity theory in a formal predicative set theory
- The iteration of the mathematical process
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4237309)
