Concepedia

Church-turing Thesis

The Church-Turing Thesis is a hypothesis in computability theory asserting that any function computable by an effective procedure can be computed by a Turing machine, thereby equating intuitive notions of algorithmic computation with formal models of computation.

550

Publications

58.4K

Citations

664

Authors

334

Institutions

Publications per year

2017–2026

36

Variants

Church-turing-thesis

Parents

Children

Publications

550

On Computable Numbers, with an Application to the Entscheidungsproblem

Alan Turing · Proceedings of the London Mathematical Society · 1937 · 8.1K citations

, , +10

Quantum theory, the Church–Turing principle and the universal quantum computer

David Deutsch · Proceedings of the Royal Society of London A Mathematical and Physical Sciences · 1985 · 4.6K citations

, , +17

Theory of Recursive Functions and Effective Computability.

Solomon Feferman, Hartley Rogers · American Mathematical Monthly · 1969 · 2.8K citations

, , +14

Introduction to the Theory of Computation

Michael Sipser · ACM SIGACT News · 1996 · 2.8K citations

, , +10

A Computing Procedure for Quantification Theory

Martin Davis, Hilary Putnam · Journal of the ACM · 1960 · 2.6K citations · Full text

, , +15

1–5 of 550

Authors

664

  1. BJ
    B. Jack Copeland

    University of Canterbury, New Zealand

    11 publications · 758 citations

    10

    h-index

  2. MA
    Michael A. Harrison

    University of California, Berkeley, United States

    6 publications · 365 citations

    6

    h-index

  3. JF
    José Félix Costa

    University of Lisbon, Portugal

    5 publications · 107 citations

    5

    h-index

  4. SC
    Stephen Cook

    University of Toronto, Canada

    5 publications · 667 citations

    5

    h-index

  5. DP
    Diane Proudfoot

    University of Canterbury, New Zealand

    4 publications · 241 citations

    4

    h-index

1–5 of 664

Institutions

334

  1. University of Canterbury

    Christchurch, New Zealand

    10 h-index

    14 publications

    778 citations

  2. University of Edinburgh

    Edinburgh, United Kingdom

    9 h-index

    9 publications

    2.2K citations

  3. Utrecht University

    Utrecht, The Netherlands

    9 h-index

    9 publications

    208 citations

  4. University of Chicago

    Chicago, United States

    8 h-index

    10 publications

    549 citations

  5. Princeton University

    Princeton, United States

    7 h-index

    9 publications

    12.3K citations

  6. University of Oxford

    Oxford, United Kingdom

    7 h-index

    7 publications

    4.9K citations

  7. Technion – Israel Institute of Technology

    Haifa, Israel

    6 h-index

    6 publications

    559 citations

  8. University of Toronto

    Toronto, Canada

    6 h-index

    8 publications

    626 citations

1–8 of 334

Venues

  1. Theoretical Computer Science

    38 publications · 3K citations

    25

    h-index

  2. Journal of Symbolic Logic

    26 publications · 3.1K citations

    19

    h-index

  3. Choice Reviews Online

    CRO · 18 publications · 1.1K citations

    15

    h-index

  4. Annals of Pure and Applied Logic

    18 publications · 654 citations

    13

    h-index

  5. Minds and Machines

    15 publications · 590 citations

    13

    h-index

1–5