Ugly Mathematics: Why Do Mathematicians Dislike Computer-Assisted Proofs?

  • Ulianov Montano Juarez*
  • *Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)

Abstract

The Viewpoint column offers readers of The Mathematical Intelligencer the opportunity to write about any issue of interest to the international mathematical community. Disagreement and controversy are welcome. The views and opinions expressed here, however, are exclusively those of the author, and the publisher and editors-in-chief do not endorse them or accept responsibility for them. Viewpoints should be submitted to one of the editors-in-chief, Chandler Davis and Marjorie Senechal.

Original languageEnglish
Pages (from-to)21-28
Number of pages8
JournalMathematical intelligencer
Volume34
Issue number4
DOIs
Publication statusPublished - Dec-2012

Keywords

  • BEAUTY
  • TRUTH
  • TERMS

Fingerprint

Dive into the research topics of 'Ugly Mathematics: Why Do Mathematicians Dislike Computer-Assisted Proofs?'. Together they form a unique fingerprint.

Cite this