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
\|	\|	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
\|	\|	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
\|	\|	jdh.hamkins.org Lectures on the Philosophy of Mathematics, Michaelmas term 2021, Oxford \| Joel David Hamkins	23.7 parsecs away Travel
\|		Philosophy of Mathematics, Exam Paper 122, Oxford University Wednesdays 12-1 during term, Radcliffe Humanities Lecture Room Joel David Hamkins, Professor of Logic Lucy, Charles - Personifications o...	23.7 parsecs away Travel