Some light reading. /s
Curry–Howard correspondence
Reply
Category Archives: Mathematics
Humble Pi: A Comedy of Maths Errors
On my list of books to buy (and read!) is Humble Pi: A Comedy of Maths Errors by Matt Parker.
Strange Loop videos by Philip Wadler
Two presentations given at Strange Loop by Philip Wadler.
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!
I’ve got a kickass collection of old engineering books:
