/explore
|
You are here 
|
blog.ezyang.com | ||
| | | | |
mazzo.li
|
|
| | | | | ||
| | | | |
johnazariah.github.io
The Y-Combinator. How to derive recursion in a purely functional context. |
|
| | | | | ||
| | | | |
danilafe.com
In this post, I show how to find the least fixed point of a finite-height lattice |
|
| | | | | ||
| | | | |
daniellefong.com
The following occurred to me on a run about two years ago: It's not given much press, but the the Halting Problem is intimately related to Gödel's First Incompleteness Theorem. Indeed it produces it as a correllary. Historically, Gödel's incompleteness results were proved by hacking arithmetic into a Turing complete system, and this is still... |
|
| | | |||
