Noether's Theorem in a Nutshell
Science - Physics - Quantum Mechanics - Quantum Field Theory. An overview of Noether's theorem ...
math.ucr.edu
Fermat's Last Theorem
Science - Math - Mathematicians - F - Fermat, Pierre de. Explains the theorem and traces its history. From the MacTutor History of Mathematics Archive. ...
www.gap-system.org
INKA Inductive Theorem Prover
Computers - Programming - Languages - Specification. First-order theorem prover with induction based on the explicit induction paradigm. It is based on a full first-order calculus, a special variant of the resolution calculus with paramodulation. ...
www.dfki.de
Pythagorean Theorem
Science - Math - Geometry - Plane Geometry. A collection of 43 proofs - some interactive - of the Pythagorean theorem. ...
www.cut-the-knot.org
The Pythagorean Theorem
Society - History - By Time Period - Ancient - Africa - Egypt - Mathematics. Theory that the Pythagorean theorem was developed in Egypt ...
fact.fws1.com
Frege's Theorem
Society - Philosophy - Philosophy of Logic. Article in the Stanford Encylcopaedia of Philosophy, entitled `Frege's Logic, Theorem, and Foundations for Arithmetic'. Discusses the 1980 discovery of Cris ...
plato.stanford.edu
Bayes' Theorem
Society - Philosophy - Reference - Stanford Encyclopedia of Philosophy. Discussion of a formula to calculate conditional probabilities which figures in subjectivist approaches to epistemology; by Jame ...
plato.stanford.edu
Gödel's Theorem and Information
Science - Math - Logic and Foundations - Education. G.J.Chaitin's proof of Gödel's theorem using arguments having an algorithmic information theory flavor. ...
www.cs.auckland.ac.nz
The Solving of Fermat's Last Theorem
Science - Math - Number Theory - Diophantine Equations - Fermat's Last Theorem. Slides for a talk by Karl Rubin on the story of Fermat's Last Theorem for a general audience, including the history of the problem, the story of Andrew Wiles' solution and the excitement surrounding it, and some of the many ...
math.stanford.edu
Gödel and Gödel's Theorem - Math
Computers - Artificial Intelligence - Creativity - Hofstadter, Douglas R. - Gödel, Escher, Bach - An Eternal Golden Braid. Overview of Hofstadter's explanation of Gödel's Theorem. ...
www4.ncsu.edu
Gödel's Theorem and Information
Science - Math - Applications - Information Theory - Papers. A G.J.Chaitin proof of Gödel's Theorem using arguments having an algorithmic information theory flavor. ...
www.cs.auckland.ac.nz
The Four Color Theorem
Science - Math - Combinatorics - Graph Theory. Computer aided proof of the four color theorem by Neil Robertson, Daniel P. Sanders, Paul Seymour and Robin Thomas. ...
www.math.gatech.edu
Fermat's Last Theorem
Science - Math - Number Theory - Diophantine Equations - Fermat's Last Theorem. A brief biography of Fermat, details of his contributions to mathematics and information on his theory and the attempts to find a proof. ...
209.85.229.132
J'Imp Theorem Prover
Science - Math - Logic and Foundations - Software. An automatic theorem prover based on set of support and ordered resolution for first-order logic. j'Imp is part of the Orbital library. This library is a Java class providing object-oriented representations and algorithms for logic, mathematics, and artificial ...
www.functologic.com
Fermat's Last Theorem -- from MathWorld
Science - Math - Number Theory - Diophantine Equations - Fermat's Last Theorem. Article in Eric Weisstein's World of Mathematics. ...
mathworld.wolfram.com
The Berry Paradox and Godel's Incompleteness Theorem
Society - Philosophy - Philosophy of Logic - Paradoxes. Transcript of a lecture by Gregory Chaitin on how the Berry Paradox ("the smallest number that needs at least n words to specify it, where n is ...
www.cs.auckland.ac.nz
Polya's Enumeration Theorem
Science - Math - Combinatorics. An article on generating functions and Polya's theory of counting by Karl Dahlke. ...
www.mathreference.com
The Kochen-Specker Theorem
Society - Philosophy - Reference - Stanford Encyclopedia of Philosophy. By Carsten Held. ...
Mileski Theorem
Science - Math - Algebra. A new mathematical theorem proposed by Robert Mileski. ...
mileski-theorem.tripod.com
The Journey of the Four Colour Theorem Through Time
Science - Math - Combinatorics - Graph Theory - References. A paper on the implications of Appel and Haken's computer-aided proof by Andreea Calude. ...
www.calude.net
Four Color Map Theorem Update (1990)
Science - Math - Combinatorics - Graph Theory - References. A satire on Appel and Haken's computer-aided proof. ...
www.improbable.com
Pick's Theorem
Science - Math - Geometry - Polytopes. Describes a theorem for finding an area of simple lattice polygons. Includes proof and Java applet simulation. ...
top
