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....
| Publicado en: | Economist Vol. 375; no. 8420; pp. 73 - 75 |
|---|---|
| Formato: | Artículo |
| Publicado: |
Economist Newspaper Limited
4/2/2005
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |