# Church s Thesis After 70 Years

*My task here is to indicate the right terminology that should be employed when ex— amining the Thesis. Although 70 years have passed since Church's Thesis was first presented it would appear that little progress has been made in ...*

**Author**: Adam Olszewski

**Publisher:** Walter de Gruyter

**ISBN:** 3110325462

**Category:** Philosophy

**Page:** 551

**View:** 800

# Church s Thesis After 70 Years

*There exists a vast literature concerning the thesis. The aim of this book is to provide a one volume summary of the state of research on Church's Thesis.*

**Author**: Alonzo Church

**Publisher:** Ontos Verlag

**ISBN:** 9783938793091

**Category:** Mathematics

**Page:** 551

**View:** 172

# Ways of Proof Theory

*ontos ve 11a 9 ontosMathematicalLogic Volume 1 Adam Olszewski, Jan Woler'lski, Robert Janusz (Eds) Church's Thesis After 70 Years Church's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two ...*

**Author**: Ralf Schindler

**Publisher:** Walter de Gruyter

**ISBN:** 3110324903

**Category:** Philosophy

**Page:** 498

**View:** 115

# Computability

*On the provability , veracity , and AI - relevance of the Church - Turing thesis . In Church's Thesis after 70 Years , ed . A. Olszewski , J. Wolenski , and R. Janusz , 66-118 . Frankfurt : Ontos - Verlag . Bringsjord , S. , and G. N. ...*

**Author**: B. Jack Copeland

**Publisher:** MIT Press

**ISBN:** 0262527480

**Category:** Computers

**Page:** 376

**View:** 816

# Computing and Philosophy

*Stanford: Metaphysics Research Lab. http://plato.stanford.edu/archives/ sum2015/entries/church-turing. Accessed 24 Sep 2015. ... Hypercomputation and the physical Church-Turing Thesis. ... Church's thesis after 70 years.*

**Author**: Vincent C. Müller

**Publisher:** Springer

**ISBN:** 3319232916

**Category:** Philosophy

**Page:** 282

**View:** 688

# Introduction to Mathematical Logic

*( 2006 ) Church's Thesis after 70 Years . Ontos Verlag Olszewski , A. , J. Wolenski , and R. Janusz ( eds . ) ( 2007 ) Church's Thesis After 70 Years . Ontos Verlag . Orey , S. ( 1956a ) On o - consistency and related properties .*

**Author**: Elliott Mendelson

**Publisher:** CRC Press

**ISBN:** 1482237784

**Category:** Mathematics

**Page:** 513

**View:** 602

# The Foundations of Computability Theory

*Hodges, A.: Did Church and Turing Have a Thesis about Machines? In: A. Olszewski, J. Wole ́nski, R. Janusz (eds.) Church's Thesis After 70 Years, Ontos Mathematical Logic (Book 1), pp. 242–252. De Gruyter (2006) 109.*

**Author**: Borut Robič

**Publisher:** Springer Nature

**ISBN:** 3662624214

**Category:** Computers

**Page:** 422

**View:** 152

# Computer Science Logic

**Church's Thesis After 70 Years**, 24–57, Ontos (2006) 7. B ̈orger, E., St ̈ark, R.: Abstract State Machines. Springer, Heidelberg (2003) 8. Boker, U., Dershowitz, N.: The Church-Turing Thesis over arbitrary domains.

**Author**: Anuj Dawar

**Publisher:** Springer Science & Business Media

**ISBN:** 364215204X

**Category:** Computers

**Page:** 548

**View:** 739

# G del s Disjunction

**Church's Thesis after 70 years**. Heusenstamm: Ontos Verlag, 2006. Kreisel, G. Which number theoretic problems can be solved in recursive progressions on 11-paths throughO?Journal of Symbolic Logic37, pp. 311–334, 1972.

**Author**: Leon Horsten

**Publisher:** Oxford University Press

**ISBN:** 0191077682

**Category:** Mathematics

**Page:** 288

**View:** 701

# SOFSEM 2012 Theory and Practice of Computer Science

*(eds): Church's Thesis after 70 Years, pp. 24–57. Ontos Verlag (2006) 6. Blass, A., Gurevich, Y.: Ordinary interactive small-step algorithms. ACM Trans. Computational Logic (Part I), 7(2), 363–419 (2006); plus 8(3), articles 15 and 16 ...*

**Author**: Mária Bieliková

**Publisher:** Springer Science & Business Media

**ISBN:** 3642276598

**Category:** Computers

**Page:** 690

**View:** 794