Tom Osborne’s Story in His Own Words
by:tomosborne rel:01994 tomosborne hewlett-packard history technology design math computer greenmachine scmcorp smith-coronamarchant carolosborne richardlacoss aljensen monroecalculator paulstoft tonylukes barneyoliver davecochran malcolmmacmillan clydecoombs bobperricone stevemedwadowski olivetti billhewlett anwang tomwhitney
may 2010 by stilist
by:tomosborne rel:01994 tomosborne hewlett-packard history technology design math computer greenmachine scmcorp smith-coronamarchant carolosborne richardlacoss aljensen monroecalculator paulstoft tonylukes barneyoliver davecochran malcolmmacmillan clydecoombs bobperricone stevemedwadowski olivetti billhewlett anwang tomwhitney
may 2010 by stilist
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
3d ⊕ ackermannsequence ⊕ alanturing ⊕ aljensen ⊕ allanbrady ⊕ alonzochurch ⊕ andreykolmogorov ⊕ anwang ⊕ archimedes ⊕ axiomaticmethod ⊕ barneyoliver ⊕ berryparadox ⊕ bertrandrussell ⊕ billhewlett ⊕ bobperricone ⊕ burali-fortiparadox ⊕ busybeaver ⊕ by:gregchiatin ⊕ by:louisgorenfeld ⊕ by:scottaaronson ⊕ by:tomosborne ⊕ carolosborne ⊕ clydecoombs ⊕ computer ⊕ davecochran ⊕ davidhilbert ⊕ design ⊕ douglashofstadter ⊕ formalism ⊕ georgcantor ⊕ georgeuhing ⊕ godelincompletenesstheorems ⊕ graphics ⊕ greenmachine ⊕ haltingproblem ⊕ heinermarxen ⊕ hewlett-packard ⊕ hilbert'sprogram ⊕ history ⊖ jurgenbuntrock ⊕ kurtgodel ⊕ lambdacalculus ⊕ malcolmmacmillan ⊕ math ⊖ monroecalculator ⊕ moore'slaw ⊕ olivetti ⊕ p=np ⊕ paulstoft ⊕ quantummechanics ⊕ random ⊕ raysolomonoff ⊕ rel:01994 ⊕ rel:01999 ⊕ rel:02000 ⊕ richardlacoss ⊕ russellparadox ⊕ scmcorp ⊕ settheory ⊕ shenlin ⊕ skewes'number ⊕ smith-coronamarchant ⊕ stephenkleene ⊕ stevemedwadowski ⊕ technology ⊕ thought ⊕ tiborrado ⊕ tomosborne ⊕ tomwhitney ⊕ tonylukes ⊕ turingmachine ⊕ wilhelmackermann ⊕Copy this bookmark: