Highly complex proofs and implications of such proofs

DOI10.1098/RSTA.2005.1655MaRDI QIDQ5301855zbMATH OpenOpenAlexWikidataFDO

Authors Michael Aschbacher

Publication date 20 January 2009

Published in Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1098/rsta.2005.1655

zbMATH Keywords

classificationcomplexproofsimple group

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Methodology of mathematics (00A35)

Recommendations

• Mathematical knowledge: Motley and complexity of proof
• scientific article; zbMATH DE number 2237875
• The justification of mathematical statements
• The surveyability of long proofs
• Theory Is Forever

Cited in

(9)

• The surveyability of long proofs
• Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
• The mathematical significance of proof theory
• The justification of mathematical statements
• Mathematical knowledge: Motley and complexity of proof
• scientific article; zbMATH DE number 2237875 (Why is no real title available?)
• RIGOUR AND PROOF
• Accepted proofs: objective truth, or culturally robust?
• Considerations on approaches and metrics in automated theorem generation/finding in geometry

This page was built for publication: Highly complex proofs and implications of such proofs

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