Concepedia

Rice's Theorem

Rice's Theorem is a fundamental result in computability theory stating that any non-trivial semantic property of programs recognized by Turing machines is undecidable.

13

Publications

1.1K

Citations

21

Authors

23

Institutions

Publications per year

2017–2026

1

Parents

Publications

13

<i>On Formally Undecidable Propositions of Principia Mathematica and Related Systems</i>

Kurt Gödel, Bernard D. Meltzer, Richard Schlegel · Physics Today · 1964 · 589 citations

, , +13

On Formally Undecidable Propositions of Principia Mathematica and Related Systems I

Kurt Gödel · 1930 · 166 citations

, , +14

On effective topological spaces

Dieter Spreen · Journal of Symbolic Logic · 1998 · 66 citations

, , +11

On Formally Undecidable Propositions of Principia Mathematica and Related Systems.

Raymond M. Smullyan, Kurt Gödel, Bernard D. Meltzer · American Mathematical Monthly · 1966 · 53 citations

, , +13

Generic complexity of undecidable problems

Alexei Myasnikov, Alexander Rybalov · Journal of Symbolic Logic · 2008 · 36 citations

, , +13

1–5 of 13

Authors

21

  1. KG
    Kurt Gödel

    Institute for Advanced Study, Germany

    3 publications · 808 citations

    3

    h-index

  2. BD
    Bernard D. Meltzer

    University of Edinburgh, United Kingdom

    2 publications · 642 citations

    2

    h-index

  3. JL
    John L. Lumley

    Cornell University, United States

    1 publications · 26 citations

    1

    h-index

  4. JM
    J. Manz

    Freie Universität Berlin, Germany

    1 publications · 22 citations

    1

    h-index

  5. AA
    Andrea Asperti

    University of Bologna, Italy

    1 publications · 26 citations

    1

    h-index

1–5 of 21

Institutions

23

  1. Centrale Marseille

    Marseille, France

    1 h-index

    2 publications

    30 citations

  2. Aix-Marseille Université

    Marseille, France

    1 h-index

    2 publications

    30 citations

  3. McGill University

    Montreal, Canada

    1 h-index

    1 publications

    36 citations

  4. Folkwang University of the Arts

    Essen, Germany

    1 h-index

    1 publications

    66 citations

  5. Pennsylvania State University

    State College, United States

    1 h-index

    1 publications

    26 citations

  6. Russian Academy of Sciences

    Moscow, Russia

    1 h-index

    1 publications

    36 citations

  7. IMDEA Software Institute

    Pozuelo de Alarcón, Spain

    1 h-index

    2 publications

    54 citations

  8. Château Gombert

    Marseille, France

    1 h-index

    1 publications

    15 citations

1–8 of 23

Venues

  1. Journal of Symbolic Logic

    3 publications · 112 citations

    3

    h-index

  2. 1

    h-index

  3. The Journal of Chemical Physics

    1 publications · 22 citations

    1

    h-index

  4. American Mathematical Monthly

    1 publications · 53 citations

    1

    h-index

  5. Proceedings of the ACM on Programming Languages

    PACMPL · 1 publications · 27 citations

    1

    h-index

1–5