On proof and progress in mathematics
From MaRDI portal
Publication:4299212
DOI10.1090/S0273-0979-1994-00502-6zbMath0817.01031OpenAlexW2020606208WikidataQ56069978 ScholiaQ56069978MaRDI QIDQ4299212
Publication date: 1 August 1995
Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/s0273-0979-1994-00502-6
Philosophical and critical aspects of logic and foundations (03A05) Sociology (and profession) of mathematics (01A80)
Related Items
The explicit algebraic autonomy of Artin presentation theory and the Fox calculus. I ⋮ Rational Mechanics and Science Rationnelle Unique ⋮ The art of illustrating mathematics ⋮ The Need for Proof and Proving: Mathematical and Pedagogical Perspectives ⋮ Contemporary Proofs for Mathematics Education ⋮ Argumentation and Proof in the Mathematics Classroom ⋮ Examining the Role of Logic in Teaching Proof ⋮ A replication crisis in mathematics? ⋮ Book review of: D. Thurston, What's next? The mathematical legacy of William P. Thurston ⋮ MATHEMATICAL INFERENCE AND LOGICAL INFERENCE ⋮ The advance party ⋮ A personal account of the discovery of hyperbolic structures on some knot complements ⋮ The Parisi formula is a Hamilton–Jacobi equation in Wasserstein space ⋮ Confronting ideals of proof with the ways of proving of the research mathematician ⋮ Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation ⋮ A state-space approach to quantum permutations ⋮ Argumentation in Mathematics ⋮ RIGOUR AND PROOF ⋮ W. P. Thurston and French mathematics ⋮ Does Mathematics Need Foundations? ⋮ Will machines change mathematics? ⋮ Intellectual generosity and the reward structure of mathematics ⋮ Mathematicians writing for mathematicians ⋮ Material representations in mathematical research practice ⋮ Epistemic injustice in mathematics ⋮ Objects and processes in mathematical practice ⋮ Proofs and guarantees ⋮ Mathematical proof and genre theory ⋮ The case of the composite Higgs: the model as a ``Rosetta stone in contemporary high-energy physics ⋮ Interpretive strategies for deductively insecure theories: the case of early quantum electrodynamics ⋮ Categories for the working mathematician: making the impossible possible ⋮ Ethics and the Continuum Hypothesis ⋮ Incremental closure for systems of two variables per inequality ⋮ Thurston's vision and the virtual fibering theorem for 3-manifolds ⋮ \(abc\) triples ⋮ Towards a new epistemology of mathematics ⋮ Pi on earth, or mathematics in the real world ⋮ A series involving Catalan numbers: proofs and demonstrations ⋮ Pluralism and “Bad” Mathematical Theories: Challenging our Prejudices ⋮ Unnamed Item ⋮ Mathematical arguments in context ⋮ How discrete patterns emerge from algorithmic fine-tuning: a visual plea for Kroneckerian finitism ⋮ Reshaping the metaphor of proof ⋮ An Inquiry into the Practice of Proving in Low-Dimensional Topology ⋮ The Double Limit Theorem and Its Legacy ⋮ Acceptable gaps in mathematical proofs ⋮ MOTIVATED PROOFS: WHAT THEY ARE, WHY THEY MATTER AND HOW TO WRITE THEM ⋮ Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction ⋮ Teaching as an Indicator of Mathematical Practices ⋮ The indexed theorem ⋮ Open problems in mathematical biology
This page was built for publication: On proof and progress in mathematics
