Pinboard (stilist) https://pinboard.in/u:stilist/public/ recent bookmarks from stilist Historical Introduction—A Century of Controversy Over the Foundations of Mathematics 2009-06-18T14:25:42+00:00 http://www.cs.auckland.ac.nz/~chaitin/cmu.html stilistby:gregchiatin rel:02000 math davidhilbert alonzochurch alanturing kurtgodel formalism history georgcantor settheory bertrandrussell russellparadox berryparadox burali-fortiparadox axiomaticmethod godelincompletenesstheorems hilbert'sprogram haltingproblem quantummechanics andreykolmogorov raysolomonoff turingmachine random https://pinboard.in/u:stilist/b:a02b918f34a0/ Who Can Name the Bigger Number? 2009-06-08T21:05:38+00:00 http://scottaaronson.com/writings/bignumbers.html stilistby:scottaaronson rel:01999 math thought history archimedes moore'slaw douglashofstadter wilhelmackermann ackermannsequence skewes'number alonzochurch alanturing lambdacalculus turingmachine haltingproblem p=np tiborrado busybeaver shenlin allanbrady georgeuhing heinermarxen jurgenbuntrock stephenkleene https://pinboard.in/u:stilist/b:dd0b2711197b/