Ugly mathematics: why do mathematicians dislike computer-assisted proofs?

DOI10.1007/S00283-012-9325-9zbMATH Open1270.00013OpenAlexW1989507116MaRDI QIDQ1935355FDOQ1935355

Ulianov Montaño

Publication date: 15 February 2013

Published in: The Mathematical Intelligencer (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00283-012-9325-9

Recommendations

• Beauty is not simplicity: an analysis of mathematicians' proof appraisals
• The Epistemological Status of Computer-Assisted Proofs
• scientific article; zbMATH DE number 733568
• Mathematical concepts in computer proofs
• The phenomenology of mathematical beauty

zbMATH Keywords

computer-assisted proofsbeauty of mathematicsintentional proofsproofs as narratives

Mathematics Subject Classification ID

Philosophy of mathematics (00A30)

Cites Work

• Title not available (Why is that?)
• Every planar map is four colorable. II: Reducibility
• Every planar map is four colorable
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The phenomenology of mathematical beauty
• Title not available (Why is that?)
• Title not available (Why is that?)
• Are these the most beautiful?
• The four color proof suffices
• Title not available (Why is that?)
• Cantor's Other Proofs that R Is Uncountable
• The justification of mathematical statements
• Title not available (Why is that?)
• Dr. Euler's fabulous formula. Cures many mathematical ills

Cited In (1)

• Algorithm and abstraction in formal mathematics

This page was built for publication: Ugly mathematics: why do mathematicians dislike computer-assisted proofs?

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