Highly complex proofs and implications of such proofs

DOI10.1098/RSTA.2005.1655zbMATH Open1152.00308OpenAlexW2120795805WikidataQ46359617 ScholiaQ46359617MaRDI QIDQ5301855FDOQ5301855

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

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

zbMATH Keywords

classificationsimple groupcomplexproof

Mathematics Subject Classification ID

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

Cited In (7)

• RIGOUR AND PROOF
• Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
• The justification of mathematical statements
• The surveyability of long proofs
• Mathematical knowledge: Motley and complexity of proof
• The mathematical significance of proof theory
• Title not available (Why is that?)

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)