stilist + history + lambdacalculus 1
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 ⊕ archimedes ⊕ busybeaver ⊕ by:scottaaronson ⊕ douglashofstadter ⊕ georgeuhing ⊕ haltingproblem ⊕ heinermarxen ⊕ history ⊖ jurgenbuntrock ⊕ lambdacalculus ⊖ math ⊕ moore'slaw ⊕ p=np ⊕ rel:01999 ⊕ shenlin ⊕ skewes'number ⊕ stephenkleene ⊕ thought ⊕ tiborrado ⊕ turingmachine ⊕ wilhelmackermann ⊕Copy this bookmark: