Concepedia

Recursion Theorem

The Recursion Theorem is a foundational result in recursion theory stating that for any computable function there exists a fixed point, enabling a program to obtain its own index, thereby allowing self-referential constructions within the formal framework of computable functions.

359

Publications

21.7K

Citations

461

Authors

264

Institutions

Publications per year

2017–2026

16

Parents

Publications

359

Theory of Recursive Functions and Effective Computability.

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

, , +14

Direct Proof of the Tree-Level Scattering Amplitude Recursion Relation in Yang-Mills Theory

Ruth Britto, Freddy Cachazo, Bo Feng et al. · Physical Review Letters · 2005 · 1.5K citations · Full text

, , +8

An exact recursion for the composite nearest-neighbor degeneracy for a 2×<i>N</i> lattice space

R. B. McQuistan, J.L. Hock · Journal of Mathematical Physics · 1984 · 925 citations

, , +9

A variant of a recursively unsolvable problem

Emil L. Post · Bulletin of the American Mathematical Society · 1946 · 613 citations · Full text

, , +9

General recursive functions of natural numbers

S. C. Kleene · Mathematische Annalen · 1936 · 595 citations

, , +10

1–5 of 359

Authors

461

  1. AH
    A. H. Lachlan

    Simon Fraser University, Canada

    10 publications · 537 citations

    10

    h-index

  2. RG
    Rodney G. Downey

    Victoria University of Wellington, New Zealand

    6 publications · 143 citations

    6

    h-index

  3. TA
    Theodore A. Slaman

    University of California, Berkeley, United States

    6 publications · 335 citations

    6

    h-index

  4. SC
    S. C. Kleene

    University of Wisconsin–Madison, United States

    5 publications · 1.2K citations

    5

    h-index

  5. JV
    Jean Vuillemin

    Université Paris-Sud, France

    4 publications · 257 citations

    4

    h-index

1–5 of 461

Institutions

264

  1. University of Chicago

    Chicago, United States

    9 h-index

    10 publications

    479 citations

  2. University of California, Berkeley

    Berkeley, United States

    9 h-index

    9 publications

    361 citations

  3. Victoria University of Wellington

    Wellington, New Zealand

    8 h-index

    12 publications

    269 citations

  4. University of Wisconsin–Madison

    Madison, United States

    8 h-index

    12 publications

    288 citations

  5. Stanford University

    Stanford, United States

    7 h-index

    14 publications

    644 citations

  6. Cornell University

    Ithaca, United States

    6 h-index

    7 publications

    278 citations

  7. Centre National de la Recherche Scientifique

    Paris, France

    6 h-index

    7 publications

    220 citations

  8. University of Maryland, College Park

    College Park, United States

    5 h-index

    6 publications

    145 citations

1–8 of 264

Venues

  1. Journal of Symbolic Logic

    42 publications · 2K citations

    21

    h-index

  2. Transactions of the American Mathematical Society

    TRAN · 22 publications · 1.4K citations

    18

    h-index

  3. Proceedings of the American Mathematical Society

    PROC · 23 publications · 541 citations

    13

    h-index

  4. Theoretical Computer Science

    13 publications · 646 citations

    12

    h-index

  5. Annals of Pure and Applied Logic

    14 publications · 343 citations

    12

    h-index

1–5