Concepedia

Turing Machine Computability

Turing Machine Computability is the formal property of a function or problem being solvable by a Turing machine, distinguishing it as the foundational criterion for effective computability in mathematical logic and theoretical computer science.

356

Publications

29.4K

Citations

484

Authors

286

Institutions

Publications per year

2017–2026

45

Variants

Turing Computability

Parents

Publications

356

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

Logical Reversibility of Computation

C. H. Bennett · IBM Journal of Research and Development · 1973 · 3.7K citations

, , +13

On the Length of Programs for Computing Finite Binary Sequences

Gregory J. Chaitin · Journal of the ACM · 1969 · 917 citations · Full text

, , +10

On the Length of Programs for Computing Finite Binary Sequences

Gregory J. Chaitin · Journal of the ACM · 1966 · 912 citations · Full text

, , +10

Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines

Marvin Minsky · Annals of Mathematics · 1961 · 710 citations

, , +16

1–5 of 356

Authors

484

  1. HB
    Holger Boche

    Technical University of Munich, Germany

    15 publications · 324 citations

    12

    h-index

  2. RF
    Rafael F. Schaefer

    Princeton University, United States

    7 publications · 174 citations

    7

    h-index

  3. BJ
    B. Jack Copeland

    University of Canterbury, New Zealand

    7 publications · 476 citations

    7

    h-index

  4. HV
    H. Vincent Poor

    Princeton University, United States

    7 publications · 174 citations

    7

    h-index

  5. RI
    Robert I. Soare

    University of Chicago, United States

    5 publications · 414 citations

    5

    h-index

1–5 of 484

Institutions

286

  1. Technical University of Munich

    Munich, Germany

    13 h-index

    23 publications

    470 citations

  2. Massachusetts Institute of Technology

    Cambridge, United States

    9 h-index

    13 publications

    922 citations

  3. Munich Center for Quantum Science and Technology

    Munich, Germany

    9 h-index

    9 publications

    221 citations

  4. University of Toronto

    Toronto, Canada

    8 h-index

    13 publications

    342 citations

  5. Princeton University

    Princeton, United States

    8 h-index

    8 publications

    191 citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    8 h-index

    8 publications

    321 citations

  7. Hebrew University of Jerusalem

    Jerusalem, Israel

    7 h-index

    10 publications

    468 citations

  8. University of Canterbury

    Christchurch, New Zealand

    7 h-index

    10 publications

    704 citations

1–8 of 286

Venues

  1. SIAM Journal on Computing

    13 publications · 1.1K citations

    12

    h-index

  2. Journal of the ACM

    JACM · 13 publications · 2.8K citations

    11

    h-index

  3. Choice Reviews Online

    CRO · 7 publications · 873 citations

    7

    h-index

  4. arXiv (Cornell University)

    Repository · 7 publications · 103 citations

    7

    h-index

  5. Journal of Symbolic Logic

    7 publications · 511 citations

    7

    h-index

1–5