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
\|	\|	lawrencecpaulson.github.io Intuitionism and constructive logic	2.9 parsecs Travel
\|	\|
\|	\|	gowers.wordpress.com When is proof by contradiction necessary? \| Gowers's Weblog 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...	1.3 parsecs Travel
\|	\|
\|	\|	lawrencecpaulson.github.io Most proofs are trivial	3.1 parsecs Travel
\|	\|
\|	\|	degoes.net A Glossary of Functional Programming - John A De Goes Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts	27.7 parsecs Travel
\|