Outer Web | Explore

/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.

You are here		math.andrej.com Mathematics and Computation \| Proof of negation and proof by contradiction
\|	\|	existentialtype.wordpress.com Proofs by contradiction, versus contradiction proofs \| Existential Type	2.2 parsecs away Travel
\|	\|	It is well-known that constructivists renounce "proof by contradiction", and that classicists scoff at the critique. "Those constructivists," the criticismgoes, "want to rule out proofs by contradiction. How absurd! Look, Pythagoras showed that the square root of two is irrational by deriving a contradiction from the assumption that it is rational. There is nothing wrong...	2.2 parsecs away Travel
\|	\|	lawrencecpaulson.github.io Most proofs are trivial	3.1 parsecs away Travel
\|	\|		3.1 parsecs away Travel
\|	\|	relatedwork.blogspot.com Related Work: A Proof of Proof by Infinite Descent	3.3 parsecs away Travel
\|	\|	WARNING: the following contains a whole lot of pedantry about proving theorems at a level of detail such that you could likely convince a co...	3.3 parsecs away Travel
\|	\|	carcinisation.com Gödel for Dummies - Carcinisation	25.1 parsecs away Travel
\|		Gödel's theorems say something important about the limits of mathematical proof. Proofs in mathematics are (among other things) arguments. A typical mathematical argument may not be "inside" the universe it's saying something about. The Pythagorean theorem is a statement about the geometry of triangles, but it's hard to make a proof of it using nothing...	25.1 parsecs away Travel