Two presentations given at Strange Loop by Philip Wadler.
Category Archives: Mathematics
Gödel and Mandelbrot
Post’s theorem
I’m not ready for this, but I wish I was: Post’s theorem.
“Categories for the Working Hacker” by Philip Wadler
An intro to category theory: “Categories for the Working Hacker” by Philip Wadler.
Math binge
Some fun math videos:
- How To Count Past Infinity
- The Banach–Tarski Paradox
- Numberphile v. Math: the truth about 1+2+3+…=-1/12
And some fun math articles:
The Circle
I did some creative writing, inspired by a new friend: The Circle.
3Blue1Brown
Learned about a YouTube channel that runs math videos: 3Blue1Brown. The channel is here.
More books!
The Secret to Raising Smart Kids
I’m reading Proofs: A Long-Form Mathematics Textbook and it referred me to this article: The Secret to Raising Smart Kids. It’s an interesting read.
The book has a website, over here: https://longformmath.com/
Orders of magnitude
I wanted to get some intuition for what made a bigger difference: adding an extra item to a set, or having an extra order of magnitude of items in a set. So I created this spreadsheet and discovered that an extra order of magnitude smashes an extra item in the set.
In the spreadsheet the parameters are ‘x’, which is the size of the base set (called Set A), and ‘i’, which is the number of extra items to add into the second set (called Set B).
If you make x = 10 and i = 90 you break even, Set A and Set B grow at the same rate.
If you make x = 10 and i = 1 it’s no contest, Set A gets much bigger much faster.
