scientific article; zbMATH DE number 1273299

MaRDI QIDQ4237309zbMATH OpenFDO

Authors Solomon Feferman

Publication date 6 April 1999

zbMATH Keywords

CantorGödelHilbertlogicmathematical philosophyproof theory

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) Set theory (03Exx) Proof theory and constructive mathematics (03Fxx)

Recommendations

• 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

Cited in

(45)

• 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 2^ndIncompleteness 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
• 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)