Bibliographic Details
| Title: |
Proof of concept. (cover story) |
| Authors: |
Aron, Jacob |
| Source: |
New Scientist. 8/29/2015, Vol. 227 Issue 3036, p28-31. 4p. 3 Color Photographs, 1 Diagram. |
| Subjects: |
COMPUTERS in mathematics, AUTOMATIC theorem proving, MATHEMATICAL proofs, FOUR-color theorem, LOGICAL prediction, GRAPH theory, MATHEMATICS research |
| Abstract: |
The article discusses the use of computers to check mathematical proofs and the possibility of computers making mathematical breakthroughs or discoveries of their own. Topics include Kenneth Appel and Wolfgang Haken's use of a computer in 1976 to check the four-color theorum, the use of software known as proof assistants to check software that tests mathematical conjectures, and a transition from the use of graph theory to the use of algebra in order to use computers to check proofs. |
| Database: |
MAS Ultra - School Edition |
|
Full text is not displayed to guests. |
Login for full access.
|
