scientific article; zbMATH DE number 1273299

MaRDI QIDQ4237309zbMATH OpenFDO

Authors Solomon Feferman

Publication date 6 April 1999

zbMATH Keywords

proof theorylogicHilbertCantormathematical philosophyGödel

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) Proof theory and constructive mathematics (03Fxx) Set theory (03Exx)

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

(39)

• Why Predicative Sets?
• IN MEMORIAM: SOLOMON FEFERMAN (1928–2016)
• The logic of Pit
• Math-Selfie
• Representations and the foundations of mathematics
• scientific article; zbMATH DE number 7593562 (Why is no real title available?)
• Hilbert's objectivity
• The logic of optics and the optics of logic
• Feferman on set theory: infinity up on trial
• Feferman on foundations. Logic, mathematics, philosophy
• Is mathematics problem solving or theorem proving?
• The Operational Perspective: Three Routes
• Three lightings of logic (Invited Talk)
• The challenge of computer mathematics
• Proof theory in philosophy of mathematics
• The operational penumbra: some ontological aspects
• Feferman's skepticism about set theory
• From realizability to induction via dependent intersection
• Weyl reexamined: ``Das Kontinuum 100 years later
• Objectivity and truth in mathematics: a sober non-Platonist perspective
• Predicativity and Feferman
• Lieber Herr Bernays! Lieber Herr Gödel! Gödel on finitism, constructivity, and Hilbert's program
• Continuum, name and paradox
• scientific article; zbMATH DE number 1512350 (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
• On the mathematical and foundational significance of the uncountable
• Kurt Gödel and mathematical logic
• Reconnecting logic with discovery
• Towards a new philosophical perspective on Hermann Weyl's turn to intuitionism
• The mathematical universe
• The prehistory of the subsystems of second-order arithmetic
• Truth and the philosophy of mathematics
• And so on \dots : reasoning with infinite diagrams
• scientific article; zbMATH DE number 6787704 (Why is no real title available?)
• On Takeuti's early view of the concept of set

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)