Church's thesis after 70 years
Éditeur :
De Gruyter
ISBN :
9783110324945
Date de publication :
15 juin 2006
Dimensions :
21,0 x 14,8 cm
Poids :
837 g
Langue :
Anglais
Pays d'origine :
Allemagne
Provides summary of the state of research on Church's Thesis. This book includes the following: different formulations of CT, CT and intuitionism, CT and intensional mathematics, CT and physics, the epistemic status of CT, CT and philosophy of mind, provability of CT and CT and functional programming.