The justification of mathematical statements

DOI10.1098/rsta.2005.1658zbMath1152.00307OpenAlexW2133500341WikidataQ47248334 ScholiaQ47248334MaRDI QIDQ5301857

H. P. F. Swinnerton-Dyer

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.1658

zbMATH Keywords

conjecturesproofjustificationprograms

Mathematics Subject Classification ID

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

Related Items

Ugly mathematics: why do mathematicians dislike computer-assisted proofs? ⋮ Mathematics and argumentation

Uses Software

• ecdata

Cites Work

• The four-colour theorem
• The Lorenz equations: bifurcations, chaos, and strange attractors
• Über die Bestimmung Dirichletscher Reihen durch Funktionalgleichungen
• On the Hasse principle for cubic surfaces
• Unnamed Item