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

DOI10.1007/s00283-012-9325-9zbMath1270.00013OpenAlexW1989507116MaRDI QIDQ1935355

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

zbMATH Keywords

computer-assisted proofsbeauty of mathematicsintentional proofsproofs as narratives

Mathematics Subject Classification ID

Philosophy of mathematics (00A30)

Cites Work

• The four color proof suffices
• Every planar map is four colorable. II: Reducibility
• The phenomenology of mathematical beauty
• Are these the most beautiful?
• Cantor's Other Proofs that R Is Uncountable
• Every planar map is four colorable
• The justification of mathematical statements
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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