Desperately seeking mathematical proof
From MaRDI portal
Publication:1026606
DOI10.1007/S00283-009-9040-3zbMath1172.03004arXiv0905.3590OpenAlexW1986865990MaRDI QIDQ1026606
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
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)
Related Items (3)
RIGOUR AND PROOF ⋮ The role of syntactic representations in set theory ⋮ How discrete patterns emerge from algorithmic fine-tuning: a visual plea for Kroneckerian finitism
Cites Work
This page was built for publication: Desperately seeking mathematical proof