Fermat's MacGuffin
Article Abstract:
Mathematician Andrew J. Wiles may have solved a theorem once thought to have no solution. His 200-page proof for Fermat's theorem, an equation with no positive solution greater than 2, is being checked for inaccuracies. Many other mathematicians have tried unsuccessfully to solve this theorem.
Publisher: Scientific American, Inc.
Publication Name: Scientific American
Subject: Science and technology
ISSN: 0036-8733
Year: 1993
Tests, problems and exercises, Mathematicians, Discovery and exploration, Fermat's theorem, Wiles, Andrew
Publication Name: Scientific American
Subject: Science and technology
ISSN: 0036-8733
Year: 1993
User Contributions:
Comment about this article or add new information about this topic:
The death of proof
Article Abstract:
The complexity of mathematical proofs has led to the use of computers to verify the proofs. Video proofs may be more useful than text-based proofs. Traditional proofs are likely to become less important by the 2040s.
Publisher: Scientific American, Inc.
Publication Name: Scientific American
Subject: Science and technology
ISSN: 0036-8733
Year: 1993
Software, Cover Story, Technology application, Mathematical analysis, Proof theory
Publication Name: Scientific American
Subject: Science and technology
ISSN: 0036-8733
Year: 1993
User Contributions:
Comment about this article or add new information about this topic:
Similar abstracts:
- Abstracts: Clock setting. Death to sperm mitochondria
- Abstracts: Society, cure thyself. The great overcoat scare. The opportunity connection
- Abstracts: The satisfaction of delayed gratification. The estrogen factor. Still negotiating
- Abstracts: As they lay dying. The all-star of buckyball. Noisy nucleotides; DNA sequences show fractal correlations
- Abstracts: Josephson's inner junction. The nicest guy in Washington
This website is not affiliated with document authors or copyright owners. This page is provided for informational purposes only. Unintentional errors are possible.