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/