Varieties of mathematical understanding

DOI10.1090/BULL/1726MaRDI QIDQ5860471zbMATH OpenOpenAlexFDO

Authors Jeremy Avigad

Publication date 19 November 2021

Published in Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/bull/1726

zbMATH Keywords

computersconceptual definitionsproof

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Future perspectives in mathematics (01A67) Research exposition (monographs, survey articles) pertaining to convex and discrete geometry (52-02) Computational methods for problems pertaining to convex and discrete geometry (52-08) Computer science support for mathematical research and practice (68Vxx)

Recommendations

• Some reflections on mathematics and its relation to computer science
• Theory Is Forever
• Conceptual and computational mathematics
• Understanding, formal verification, and the philosophy of mathematics
• scientific article; zbMATH DE number 1295579

Cites work

• A Conceptual Breakthrough in Sphere Packing
• A cube tiling of dimension eight with no facesharing
• A formal proof of the Kepler conjecture
• A proof of the Kepler conjecture
• A reduction of Keller's conjecture
• Decompositions, approximate structure, transference, and the Hahn-Banach theorem
• Dense crystalline dimer packings of regular tetrahedra
• scientific article; zbMATH DE number 5552087 (Why is no real title available?)
• scientific article; zbMATH DE number 1503606 (Why is no real title available?)
• scientific article; zbMATH DE number 1419151 (Why is no real title available?)
• scientific article; zbMATH DE number 5204708 (Why is no real title available?)
• scientific article; zbMATH DE number 5493266 (Why is no real title available?)
• scientific article; zbMATH DE number 3221502 (Why is no real title available?)
• scientific article; zbMATH DE number 3231044 (Why is no real title available?)
• Isaac Newton on mathematical certainty and method
• Keller’s cube-tiling conjecture is false in high dimensions
• kepler98
• Opinion: The Mechanization of Mathematics
• Packing, tiling, and covering with tetrahedra
• Rigid polyboxes and Keller's conjecture
• The computer as crucible. An introduction to experimental mathematics. With illustrations by Karl H. Hofmann
• The primes contain arbitrarily long arithmetic progressions
• The resolution of Keller's conjecture
• The sphere packing problem in dimension 8
• The sphere packing problem in dimension \(24\)
• Über lückenlose Ausfüllung des \(n\)-dimensionalen Raumes durch kongruente Würfel
• Über lückenlose Ausfüllung des \(n\)-dimensionalen Raumes durch kongruente Würfel. II

Cited in

(11)

• Living with a new mathematical species
• Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge
• Understanding, formal verification, and the philosophy of mathematics
• Conceptual and computational mathematics
• Some reflections on mathematics and its relation to computer science
• The Varieties of Mathematical Explanation
• Some thoughts on automation and mathematical research
• Proofs for a price: tomorrow's ultra-rigorous mathematical culture
• Experimental computation as an ontological game changer: the impact of modern mathematical computation tools on the ontology of mathematics
• Mathematical hygiene
• Accepted proofs: objective truth, or culturally robust?

Describes a project that uses

Uses Software

• kepler98

This page was built for publication: Varieties of mathematical understanding

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