, Volume 34, Issue 4, pp 21-28
Date: 19 Oct 2012

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

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access
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.