Concepedia

Computability

Computability is the property of a function or problem that determines whether it can be effectively calculated or solved by a mechanical process, specifically through the application of a finite, well-defined algorithmic procedure such as a Turing machine.

577

Publications

40.9K

Citations

751

Authors

450

Institutions

Publications per year

2017–2026

73

Variants

Effective Calculability

Parents

Publications

577

On Computable Numbers, with an Application to the Entscheidungsproblem

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

, , +10

Theory of Recursive Functions and Effective Computability.

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

, , +14

Theory of Recursive Functions and Effective Computability

D. C. Cooper · The Computer Journal · 1969 · 2.6K citations · Full text

, , +14

On the computational complexity of algorithms

Juris Hartmanis, Richard E. Stearns · Transactions of the American Mathematical Society · 1965 · 957 citations · Full text

, , +15

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 577

Authors

751

  1. KW
    Klaus Weihrauch

    FernUniversität in Hagen, Germany

    11 publications · 634 citations

    11

    h-index

  2. GJ
    Giorgi Japaridze

    Villanova University, United States

    13 publications · 461 citations

    11

    h-index

  3. HB
    Holger Boche

    Technical University of Munich, Germany

    11 publications · 225 citations

    11

    h-index

  4. VB
    Vasco Brattka

    University of Cape Town, South Africa

    9 publications · 594 citations

    9

    h-index

  5. MB
    Marian Boykan Pour‐El

    University of Minnesota, United States

    8 publications · 484 citations

    8

    h-index

1–5 of 751

Institutions

450

  1. University of Chicago

    Chicago, United States

    16 h-index

    25 publications

    1.1K citations

  2. FernUniversität in Hagen

    Hagen, Germany

    14 h-index

    20 publications

    1.2K citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    13 h-index

    32 publications

    1.7K citations

  4. Technical University of Munich

    Munich, Germany

    11 h-index

    18 publications

    361 citations

  5. Villanova University

    Radnor, United States

    11 h-index

    14 publications

    474 citations

  6. University of Wisconsin–Madison

    Madison, United States

    11 h-index

    11 publications

    464 citations

  7. Centrum Wiskunde & Informatica

    Amsterdam, The Netherlands

    10 h-index

    10 publications

    377 citations

  8. Swansea University

    Swansea, United Kingdom

    10 h-index

    12 publications

    2.9K citations

1–8 of 450

Venues

  1. Theoretical Computer Science

    29 publications · 1.5K citations

    22

    h-index

  2. Journal of Symbolic Logic

    29 publications · 1.5K citations

    18

    h-index

  3. Bulletin of Symbolic Logic

    18 publications · 898 citations

    15

    h-index

  4. Mathematical logic quarterly

    MLQ · 19 publications · 581 citations

    15

    h-index

  5. Transactions of the American Mathematical Society

    TRAN · 17 publications · 2.1K citations

    15

    h-index

1–5