계산가능성 이론 형성에서의 Church's Thesis와 Turing's Thesis

  • 현우식 (연세대 인지과학연구소)
  • Published : 1998.06.01

Abstract

We investigate "Church's Thesis" and "Turing's Thesis", which are commonly considered as equivalent foundations of computability theory or recursion theory in mathematical logic and computer science. A careful historical and logical analysis of Godel's recursiveness, Church's ${\lambda}$-definability and Turing computability should distinguish between Church's Thesis and Turing's Thesis.and Turing's Thesis.

Keywords

References

  1. American Journal of Mathematics v.58 no.1936 An unsolvable problem of elementary number theory Church, A;M. Davis(ed)
  2. Proceedings of the London Mathematical Society, ser 2 v.42;43 no.1936 On Computable Numbers, with an application to the Entschei dungsprobluem Turing, A;M. Davis(ed)
  3. Journal of Symbolic Logic v.1 Finite combinatory processes-formulation Ⅰ Post, E.L;M. Davis(ed)
  4. Collected Works Ⅰ: Publication 1929-36 On undecidable propositions of formal mathematical systems, notes by S.C. Kleene, and J. B. Rosser on lectures at the Institute for Advanced Study, Princeton Godel, K;S. Feferman(ed)
  5. Collected Works Ⅰ: Publications 1929-36 v.195 Postscriptum to Godel 1931 Godel, K;K. Godel;S. Feferman(et al.)
  6. Collected Works Ⅱ: Publications 1938-74 Remarks before the Princeton bicentennial conference on problems in mathematics Godel, K;K. Godel;S. Feferman(et al.)
  7. Collected Works Ⅲ: Unpublished essays and lectures Some basic theorems on the foundations of mathematics and their implications Godel, K;K. Godel;S. Feferman(et al.)
  8. Information and Control v.4 Why Godel did not have Church's Thesis Davis, M
  9. The Bulletin of Symbolic Logic v.2 no.3 Computability and Recursion Soare, R.I
  10. Duke mathematical journal v.2 λ-definability and recursiveness Kleen, S.C
  11. Mathematics and Mind Mechanical procedures and mathematical experience Sieg, W;A. George(ed)
  12. The Universal Turing Machine. A Half-Century Survey Mathematical Logic and the Origin of Modern Computer Davis, M;Herken(ed)