When.com Web Search

Search results

1. Results From The WOW.Com Content Network

2. Principia Mathematica - Wikipedia

   en.wikipedia.org/wiki/Principia_Mathematica

   It is to be regretted that this first comprehensive and thorough-going presentation of a mathematical logic and the derivation of mathematics from it [is] so greatly lacking in formal precision in the foundations (contained in 1– 21 of Principia [i.e., sections 1– 5 (propositional logic), 8–14 (predicate logic with identity/equality), 20 ...

3. Proofs from THE BOOK - Wikipedia

   en.wikipedia.org/wiki/Proofs_from_THE_BOOK

   Proofs from THE BOOK is a book of mathematical proofs by Martin Aigner and Günter M. Ziegler. The book is dedicated to the mathematician Paul Erdős, who often referred to "The Book" in which God keeps the most elegant proof of each mathematical theorem. During a lecture in 1985, Erdős said, "You don't have to believe in God, but you should ...

4. Mathematical proof - Wikipedia

   en.wikipedia.org/wiki/Mathematical_proof

   The diagram accompanies Book II, Proposition 5. [1] A mathematical proof is a deductive argument for a mathematical ... Mathematical proof was revolutionized by ...

5. List of mathematical proofs - Wikipedia

   en.wikipedia.org/wiki/List_of_mathematical_proofs

   Fermat's little theorem and some proofs; Gödel's completeness theorem and its original proof; Mathematical induction and a proof; Proof that 0.999... equals 1; Proof that 22/7 exceeds π; Proof that e is irrational; Proof that π is irrational; Proof that the sum of the reciprocals of the primes diverges

6. Proofs That Really Count - Wikipedia

   en.wikipedia.org/wiki/Proofs_That_Really_Count

   Proofs That Really Count: the Art of Combinatorial Proof is an undergraduate-level mathematics book on combinatorial proofs of mathematical identies.That is, it concerns equations between two integer-valued formulas, shown to be equal either by showing that both sides of the equation count the same type of mathematical objects, or by finding a one-to-one correspondence between the different ...

7. Category:Mathematical proofs - Wikipedia

   en.wikipedia.org/wiki/Category:Mathematical_proofs

   Pages which contain only proofs (of claims made in other articles) should be placed in the subcategory Category:Article proofs. Pages which contain theorems and their proofs should be placed in the subcategory Category:Articles containing proofs. Articles related to automatic theorem proving should be placed in Category:Automated theorem proving.