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		thehousecarpenter.wordpress.com A proof of the boundedness theorem by induction \| The House Carpenter
\|	\|	cronokirby.com Tychonoff's Theorem and Zorn's Lemma - Cronokirby	4.0 parsecs away Travel
\|	\|	- Read more: https://cronokirby.com/posts/2021/02/tychonoff-theorem-and-zorns-lemma/	4.0 parsecs away Travel
\|	\|	gowers.wordpress.com When is proof by contradiction necessary? \| Gowers's Weblog	4.2 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...	4.2 parsecs away Travel
\|	\|	xorshammer.com What does it mean to extend the manipulability of differentials? - XOR's Hammer	6.8 parsecs away Travel
\|	\|	In an interesting paper called Extending the Manipulability of Differentials, the authors Jonathan Bartlett and Asatur Zh. Khurshudyan describe an interesting proposal for representing higher-order derivatives. The argument is basically this: As is well-known, the chain rule for first derivatives seems to follow algebraically if you use Leibniz notation for the derivatives: $latex (dg/df)(df/dx) =...	6.8 parsecs away Travel
\|	\|	www.kuniga.me Random Points in Circumference	38.8 parsecs away Travel
\|		NP-Incompleteness:	38.8 parsecs away Travel