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
related tags
alanturing ⊕ alonzochurch ⊕ andreykolmogorov ⊕ axiomaticmethod ⊕ berryparadox ⊕ bertrandrussell ⊕ burali-fortiparadox ⊕ by:gregchiatin ⊕ by:jordanellenberg ⊕ davidhilbert ⊕ edwardrothstein ⊕ formalism ⊕ georgcantor ⊕ godelescherbach ⊕ godelincompletenesstheorems ⊕ haltingproblem ⊕ hilbert'sprogram ⊕ history ⊕ incompleteness ⊕ kurtgodel ⊖ math ⊕ quantummechanics ⊕ random ⊕ raysolomonoff ⊕ rebeccagoldstein ⊕ rel:02000 ⊕ rel:02005 ⊕ rogerpenrose ⊕ russellparadox ⊕ settheory ⊕ src:slate ⊕ turingmachine ⊕Copy this bookmark: