Desperately seeking mathematical proof

DOI10.1007/S00283-009-9040-3MaRDI QIDQ1026606zbMATH OpenOpenAlexFDO

Authors Melvyn B. Nathanson

Publication date 25 June 2009

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

Full work available at URL https://arxiv.org/abs/0905.3590

zbMATH Keywords

elementary proofmathematical proof

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Abstract: Remarks on mathematical proof and the practice of mathematics.

Review text

This ``viewpoint contains some general considerations concerning the notion of mathematical proof. The author advocates, in particular, the value of ``elementary proof, in the sense of ``easy to check.

Recommendations

• Theory Is Forever
• scientific article; zbMATH DE number 3874657
• Mathematical proof
• Searching for proofs (and uncovering capacities of the mathematical mind)
• Arguing Around Mathematical Proofs
• Mathematical proofs
• MATHEMATICAL RIGOR AND PROOF

Cites work

• Elementary Methods in Number Theory
• scientific article; zbMATH DE number 3760283 (Why is no real title available?)
• scientific article; zbMATH DE number 49719 (Why is no real title available?)

Cited in

(4)

• RIGOUR AND PROOF
• The role of syntactic representations in set theory
• Accepted proofs: objective truth, or culturally robust?
• How discrete patterns emerge from algorithmic fine-tuning: a visual plea for Kroneckerian finitism

This page was built for publication: Desperately seeking mathematical proof

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1026606)