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
\|	\|	math.andrej.com Mathematics and Computation \| Proof of negation and proof by contradiction	1.3 parsecs away Travel
\|	\|	[AI summary] A technical discussion distinguishing between proof by contradiction and proof of negation within the context of classical and intuitionistic logic.	1.3 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
\|	\|	www.logicmatters.net Book note: Halbeisen & Krapf, Gödel's Theorems and Zermelo's Axioms - Logic Matters	25.7 parsecs away Travel
\|		A standard menu for a first mathematical logic course might be something like this: (1) A treatment of the syntax and semantics of FOL, presenting a proof system or two, leading up to a proof of a Gödel's completeness theorem (and then a glance at e.g. the compactness theorem and some initial implications). (2) An [...]	25.7 parsecs away Travel