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		gowers.wordpress.com When is proof by contradiction necessary? \| Gowers's Weblog
\|	\|	relatedwork.blogspot.com Related Work: A Proof of Proof by Infinite Descent	2.4 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...	2.4 parsecs away Travel
\|	\|	existentialtype.wordpress.com Proofs by contradiction, versus contradiction proofs \| Existential Type	1.7 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...	1.7 parsecs away Travel
\|	\|	ianwrightsite.wordpress.com Materialism and Cantor's higher infinities (transcript of talk) -	3.6 parsecs away Travel
\|	\|	Are Cantor's higher infinities really real?	3.6 parsecs away Travel
\|	\|	www.planetary.org Astronomy for Beginners \| The Planetary Society	23.3 parsecs away Travel
\|		An introduction to backyard astronomy for amateur stargazers.	23.3 parsecs away Travel