What Do Gödel's Incompleteness Theorems Mean?(quantamagazine.org)120 points by baruchel 5 months ago | 51 comments
The Computational Theory of Mind (2015)(plato.stanford.edu)60 points by cyanregiment 2 months ago | 45 comments
A Good Lemma Is Worth a Thousand Theorems (2007)(sites.math.rutgers.edu)75 points by susam 5 months ago | 13 comments
The zombie misconception of theoretical computer science(scottaaronson.blog)225 points by Tomte 2 years ago | 187 comments
Rosser's Theorem via Turing Machines (2011)(scottaaronson.blog)59 points by dargscisyhp 2 years ago | 8 comments