The justification of mathematical statements

DOI10.1098/RSTA.2005.1658MaRDI QIDQ5301857zbMATH OpenOpenAlexWikidataFDO

Authors Peter 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

conjecturesjustificationprogramsproof

Mathematics Subject Classification ID

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

Recommendations

• Computer theorem proving in mathematics
• scientific article; zbMATH DE number 2152637
• Proof and the evolution of mathematics
• Mathematical proofs in the computer age
• Highly complex proofs and implications of such proofs

Cites work

• scientific article; zbMATH DE number 1023655 (Why is no real title available?)
• On the Hasse principle for cubic surfaces
• The four-colour theorem
• The Lorenz equations: bifurcations, chaos, and strange attractors
• Über die Bestimmung Dirichletscher Reihen durch Funktionalgleichungen

Cited in

(7)

• Ugly mathematics: why do mathematicians dislike computer-assisted proofs?
• The surveyability of long proofs
• Mathematics and argumentation
• scientific article; zbMATH DE number 1301809 (Why is no real title available?)
• Malament-Hogarth machines and Tait's axiomatic conception of mathematics
• scientific article; zbMATH DE number 6151736 (Why is no real title available?)
• Highly complex proofs and implications of such proofs

Describes a project that uses

Uses Software

• ecdata

This page was built for publication: The justification of mathematical statements

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