Explore >> Select a destination


You are here

math.andrej.com
| | gowers.wordpress.com
10.7 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...
| | adam.chlipala.net
11.0 parsecs away

Travel
| |
| | blog.computationalcomplexity.org
12.6 parsecs away

Travel
| | In my post about the myth that Logicians are crazy I mentioned in passing that Whitehead and Russell spend 300 pages proving 1+1=2 (but we...
| | mikespivey.wordpress.com
59.1 parsecs away

Travel
| It's fairly well-known, to those who know it, that $latex \displaystyle \left(\sum_{k=1}^n k \right)^2 = \frac{n^2(n+1)^2}{4} = \sum_{k=1}^n k^3 $. In other words, the square of the sum of the first n positive integers equals the sum of the cubes of the first n positive integers. It's probably less well-known that a similar relationship holds...