scientific article; zbMATH DE number 2152637

MaRDI QIDQ4664203zbMATH OpenFDO

Authors Arthur Jaffe

Publication date 5 April 2005

zbMATH Keywords

communicationcomputerproof

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Proof and the evolution of mathematics
• Theory Is Forever
• Mathematical proofs in the computer age
• Exploratory experimentation: digitally-assisted discovery and proof
• The Proof is in the Pudding

Cited in

(18)

• Proof and the evolution of mathematics
• Proof, message and certificate
• Exploratory experimentation: digitally-assisted discovery and proof
• Contemporary proofs for mathematics education
• Proof: some notes on a phenomenon between freedom and enforcement
• Mathematical proofs in practice: revisiting the reliability of published mathematical proofs
• Proof verification technology and elementary physics
• Mathematicians' individual criteria for accepting theorems and proofs: an empirical approach
• scientific article; zbMATH DE number 1301809 (Why is no real title available?)
• The concept of ‘rigorous proof’
• Proof technology in mathematics research and teaching
• The justification of mathematical statements
• Mathematical knowledge: Motley and complexity of proof
• Automated Reasoning with Analytic Tableaux and Related Methods
• Five gaps in mathematics
• scientific article; zbMATH DE number 2237875 (Why is no real title available?)
• Theory Is Forever
• Proofs for a price: tomorrow's ultra-rigorous mathematical culture

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 Q4664203)