Cover Image
QR Code

Proof and beauty.

The article discusses the role of computers in producing mathematical proofs. Through much of the 20th century, questions of mathematical rigour were passed off to logicians and philosophers--working mathematicians have been, for the most part, content to work with an intuitive definition of proof....

Full description

Published in:Economist Vol. 375; no. 8420; pp. 73 - 75
Format: Article
Published: Economist Newspaper Limited 4/2/2005
Subjects:
Mathematics problems & exercises
Logic
Computer reliability
Mathematical programming
Philosophy of science
Mathematicians
Computer software
History
Online Access:View this record in EBSCOhost