𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Note On the Turing Degrees of Divergence Bounded Computable Reals

✍ Scribed by Xizhong Zheng; Robert Rettinger


Book ID
108126390
Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
198 KB
Volume
120
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A Note on the Theorems of Church-Turing
✍ Michael Deutsch πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 143 KB

## Abstract We sketch proofs of the theorems of Church‐Turing and Trachtenbrot using a semi‐monomorphic axiomatization. Mathematics Subject Classification: 03B10, 03B25.