stilist + history + formalism 1
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 ⊕ davidhilbert ⊕ formalism ⊖ georgcantor ⊕ godelincompletenesstheorems ⊕ haltingproblem ⊕ hilbert'sprogram ⊕ history ⊖ kurtgodel ⊕ math ⊕ quantummechanics ⊕ random ⊕ raysolomonoff ⊕ rel:02000 ⊕ russellparadox ⊕ settheory ⊕ turingmachine ⊕Copy this bookmark: