Joined 6/8/2012, 3:48:10 AM has 11215 karma
Almost von Neumann, Definitely Gödel: The 2nd Incompleteness Theorem's Story [pdf]
Equational Theories Project
New Improvements in Solving Large Labs Instances Using Memetic Tabu Search