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
inVerse Poetry Workshop
Arts - Writers Resources - Poetry - Organizations. Workshop environment for serious writers/ poets. A community of experienced writers whose focus is on polishing poetry and prose for publication. ...
inverse17099.yuku.com
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
Inverse Problems in Econometrics: An Annotated Bibliography
Science - Social Sciences - Economics - Econometrics. Notes and references for integral equations of the first and second kind and their applications in econometrics, by Marine Carrasco. ...
www.webdepot.umontreal.ca
Proof of Fermat's Last Theorem
Science - Math - Number Theory - Diophantine Equations - Fermat's Last Theorem. An attempted elementary proof of FLT using binomial expansions. ...
www.coolissues.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. ...
plato.stanford.edu
Inverse : A comprehensive shrine to Lina Inverse of Slayers
Arts - Animation - Anime - Titles - S - Slayers - Characters - Lina Inverse. A comprehensive site dedicated analyzing the character with comments and in depth analysis. ...
inverse.prettysenshi.com