What does logic have to tell us about mathematical proofs?

DOI10.1007/BF03024381zbMath0426.03011OpenAlexW2329026857MaRDI QIDQ1135835

Solomon Feferman

Publication date: 1979

Published in: The Mathematical Intelligencer (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03024381

zbMATH Keywords

proof theoryformal systemexpository paperHilbert's program

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Proof theory and constructive mathematics (03F99)

Related Items

MATHEMATICAL INFERENCE AND LOGICAL INFERENCE, And so on \dots : reasoning with infinite diagrams, Formal and Natural Proof: A Phenomenological Approach, Reshaping the metaphor of proof, The lazy logic of partial terms

Uses Software

• Automath

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Set theoretic foundations for constructive analysis
• Colouring problems
• Mathematical significance of consistency proofs
• Theory of Formal Systems. (AM-47)
• Constructive set theory
• An introduction to recursively saturated and resplendent models
• Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
• Diophantine Problems Over Local Fields I
• Decision procedures for real and p‐adic fields