stilist + history + alanturing 2
Historical Introduction—A Century of Controversy Over the Foundations of Mathematics
by: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
june 2009 by stilist
by: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
june 2009 by stilist
Who Can Name the Bigger Number?
by: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
june 2009 by stilist
by: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
june 2009 by stilist
related tags
ackermannsequence ⊕ alanturing ⊖ allanbrady ⊕ alonzochurch ⊕ andreykolmogorov ⊕ archimedes ⊕ axiomaticmethod ⊕ berryparadox ⊕ bertrandrussell ⊕ burali-fortiparadox ⊕ busybeaver ⊕ by:gregchiatin ⊕ by:scottaaronson ⊕ davidhilbert ⊕ douglashofstadter ⊕ formalism ⊕ georgcantor ⊕ georgeuhing ⊕ godelincompletenesstheorems ⊕ haltingproblem ⊕ heinermarxen ⊕ hilbert'sprogram ⊕ history ⊖ jurgenbuntrock ⊕ kurtgodel ⊕ lambdacalculus ⊕ math ⊕ moore'slaw ⊕ p=np ⊕ quantummechanics ⊕ random ⊕ raysolomonoff ⊕ rel:01999 ⊕ rel:02000 ⊕ russellparadox ⊕ settheory ⊕ shenlin ⊕ skewes'number ⊕ stephenkleene ⊕ thought ⊕ tiborrado ⊕ turingmachine ⊕ wilhelmackermann ⊕Copy this bookmark: