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

Overview of attention for article published in The Mathematical Intelligencer, October 2012

Altmetric Badge

About this Attention Score

In the top 25% of all research outputs scored by Altmetric
High Attention Score compared to outputs of the same age (83rd percentile)
Above-average Attention Score compared to outputs of the same age and source (62nd percentile)

Mentioned by

twitter: 1 X user

q&a: 3 Q&A threads

Citations

dimensions_citation: 6 Dimensions

Readers on

mendeley: 8 Mendeley

Summary X Q&A Dimensions citations

So far, Altmetric has seen 3 Q&A posts from 3 users.

About a question on formalising "interestingness" in mathematics

Posted by user1729, at math.meta.stackexchange.com, 19 Jun 2014

I want to discuss this question. It was closed, re-opened, then closed again. The close reason is "off-topic", and I want to…

About a question on formalising "interestingness" in mathematics

Posted by user1729, at meta.math.stackexchange.com, 19 Jun 2014

I want to discuss this question. It was closed, re-opened, then closed again. The close reason is "off-topic", and I want to…

Why are mathematical proofs that rely on computers controversial?

Posted by Gerard, at math.stackexchange.com, 09 Jan 2014

There are many theorems in mathematics that have been proved with the assistance of computers, take the famous four color…