MODULARITY IN MATHEMATICS

DOI10.1017/S1755020317000387zbMath1439.00026MaRDI QIDQ5221289

Jeremy Avigad

Publication date: 25 March 2020

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

modularityphilosophy of mathematicsmathematical practice

Mathematics Subject Classification ID

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

Related Items (4)

Mathematics and the formal turn ⋮ Reliability of mathematical inference ⋮ Discussing Hilbert's 24th problem ⋮ PLANS AND PLANNING IN MATHEMATICAL PROOFS

Uses Software

• Lean

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Mathematical method and proof
• Binary quadratic forms. An algorithmic approach
• Higher composition laws. I: A new view on Gauss composition, and quadratic generalizations
• The concept of ``character in Dirichlet's theorem on primes in an arithmetic progression
• Practical Foundations for Programming Languages
• The Lean Theorem Prover (System Description)
• Essays in Constructive Mathematics
• A Machine-Checked Proof of the Odd Order Theorem
• Program development by stepwise refinement
• CHARACTER AND OBJECT
• The Architecture of Mathematics

This page was built for publication: MODULARITY IN MATHEMATICS