Highly complex proofs and implications of such proofs

DOI10.1098/rsta.2005.1655zbMath1152.00308OpenAlexW2120795805WikidataQ46359617 ScholiaQ46359617MaRDI QIDQ5301855

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

classificationcomplexsimple groupproof

Mathematics Subject Classification ID

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

Related Items (3)

The mathematical significance of proof theory ⋮ Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation ⋮ RIGOUR AND PROOF

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