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		relatedwork.blogspot.com Related Work: A Proof of Proof by Infinite Descent
\|	\|	gowers.wordpress.com When is proof by contradiction necessary? \| Gowers's Weblog	2.4 parsecs away Travel
\|	\|	It's been a while since I have written a post in the "somewhat philosophical" category, which is where I put questions like "How can one statement be stronger than an another, equivalent, statement?" This post is about a question that I've intended for a long time to sort out in my mind but have found...	2.4 parsecs away Travel
\|	\|	math.andrej.com Mathematics and Computation \| Proof of negation and proof by contradiction	3.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.	3.3 parsecs away Travel
\|	\|	existentialtype.wordpress.com Proofs by contradiction, versus contradiction proofs \| Existential Type	2.8 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.8 parsecs away Travel
\|	\|	bartoszmilewski.com Types and Functions \| Bartosz Milewski's Programming Cafe	24.8 parsecs away Travel
\|		This is part of the book Category Theory for Programmers. The previous instalment was Category: The Essence of Composition. See the Table of Contents. The category of types and functions plays an important role in programming, so let's talk about what types are and why we need them. Who Needs Types? There seems to be...	24.8 parsecs away Travel