Back to Search Start Over

The death of proof.

Authors :
Horgan, John
Source :
Scientific American. Oct93, Vol. 269 Issue 4, p92. 10p. 12 Color Photographs.
Publication Year :
1993

Abstract

Features the use of computer models to prove theorems in mathematics. Hyperbolic geometry yielded by establishing the connection between topology and geometry; Institutions promoting the use of computers; Popularity of graphics-oriented mathematics; Possibility of full automation of theorem proving. INSETS: A splendid anachronism? (research of Andrew Wiles).;Silicon mathematicians..

Subjects

Subjects :
*MATHEMATICS education
*AUTOMATIC theorem proving
*TECHNOLOGICAL innovations
*COMPUTER software

Details

Language :
English
ISSN :
00368733
Volume :
269
Issue :
4
Database :
Academic Search Index
Journal :
Scientific American
Publication Type :
Periodical
Accession number :
9401276041
Full Text :
https://doi.org/10.1038/scientificamerican1093-92
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details