About proof

42 entries

Sort by date added | title

• Mathematical proofs with cardboard and paper
  • Published in 2023
  • Added on 2023-08-24
• Easy Proof of Three Recursive $π$-Algorithms -- Einfacher Beweis dreier rekursiver $π$-Algorithmen
  • Published in 2019
  • Added on 2022-02-25
• Yet another Proof of an old Hat
  • Published in 2021
  • Added on 2021-11-20
• Real Analysis in Reverse
  • Published in 2012
  • Added on 2021-06-07
• Gödel for Goldilocks: A Rigorous, Streamlined Proof of (a variant of) Gödel's First Incompleteness Theorem
  • Published in 2014
  • Added on 2021-04-10
• "It is like egg": Paul Lorenzen and the collapse of proofs of consistency
  • Published in 2021
  • Added on 2021-02-12
• Hilbert 13: Are there any genuine continuous multivariate real-valued functions?
  • Published in 2021
  • Added on 2021-02-02
• The real numbers - a survey of constructions
  • Published in 2015
  • Added on 2021-01-06
• "Match-Stick" Geometry
  • Published in 1939
  • Added on 2020-12-20
• World's shortest explanation of Gödel's theorem
  • Published in 2009
  • Added on 2020-10-16
• Mathematics with a metamathematical flavour.
  • Added on 2020-10-16
• Infinitude of Primes Using Formal Language Theory
  • Published in 2020
  • Added on 2020-05-25
• Extreme Proofs I: The Irrationality of √2
  • Published in 2013
  • Added on 2020-04-13
• The Instructor's Guide to Real Induction
  • Published in 2012
  • Added on 2019-03-02
• Euclid's theorem on the infinitude of primes: a historical survey of its proofs (300 B.C.--2017) and another new proof
  • Published in 2012
  • Added on 2018-08-21
• Proof without Words: Fair Allocation of a Pizza
  • Published in 1994
  • Added on 2018-06-26
• Proof of Conway's Lost Cosmological Theorem
  • Published in 1998
  • Added on 2017-07-26
• Three Thoughts on “Prime Simplicity”
  • Published in 2012
  • Added on 2017-02-27
• Prime Simplicity
  • Published in 2009
  • Added on 2017-02-27
• Two short proofs of the Perfect Forest Theorem
  • Published in 2016
  • Added on 2016-12-18
• Complexity and Completeness of Finding Another solution and its Application to Puzzles
  • Published in 2003
  • Added on 2016-06-18
• Division by zero
  • Published in 2016
  • Added on 2016-04-26
• The effective content of Reverse Nonstandard Mathematics and the nonstandard content of effective Reverse Mathematics
  • Published in 2015
  • Added on 2015-11-19
• Another Proof of Segre's Theorem about Ovals
  • Published in 2013
  • Added on 2015-09-29
• Irrationality From The Book
  • Published in 2009
  • Added on 2014-12-01
• How not to prove the Poincaré conjecture
  • Published in 1966
  • Added on 2014-11-17
• Proofs without syntax
  • Published in 2006
  • Added on 2014-10-09
• Useful inequalities cheat sheet
  • Published in 2011
  • Added on 2014-04-28
• Proofs by Descent
  • Published in 2010
  • Added on 2013-11-04
• Six Ways to Sum a Series
  • Published in 1994
  • Added on 2013-06-10
• Circular reasoning: who first proved that $C/d$ is a constant?
  • Published in 2013
  • Added on 2013-03-06
• What are some of the most ridiculous proofs in mathematics?
  • Published in 2012
  • Added on 2013-02-17
• Cryptographic and Physical Zero-Knowledge Proof Systems for Solutions of Sudoku Puzzles
  • Published in 2007
  • Added on 2012-02-07
• The hardness of the Lemmings game, or Oh no, more NP-completeness proofs
  • Published in 2004
  • Added on 2012-01-27
• Scooping the Loop Snooper
  • Published in 2000
  • Added on 2012-01-20
• The experimental effectiveness of mathematical proof
  • Published in 2007
  • Added on 2011-10-30
• James Garfield's Proof of the Pythagorean Theorem
  • Published in 2008
  • Added on 2011-02-18
• On Furstenberg's Proof of the Infinitude of Primes
  • Published in 2009
  • Added on 2010-09-09
• The role of instrumental and relational understanding in proofs about group isomorphisms
  • Published in 2002
  • Added on 2010-09-03
• A Note on Boolos' Proof of the Incompleteness Theorem
  • Published in 1994
  • Added on 2010-09-03
• A combinatorial approach to sums of two squares and related problems
  • Published in 2002
  • Added on 2010-07-16
• A formal system for Euclid's Elements
  • Published in 2008
  • Added on 2010-04-04