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

classificationsimple groupcomplexproof

Mathematics Subject Classification ID

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

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

(7)

• Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
• RIGOUR AND PROOF
• The justification of mathematical statements
• The surveyability of long proofs
• Mathematical knowledge: Motley and complexity of proof
• The mathematical significance of proof theory
• scientific article; zbMATH DE number 2237875 (Why is no real title available?)

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)