Concepedia

Fixed-point Theorems In Computability

Fixed-Point Theorems in Computability is a theoretical framework within computability theory that establishes the existence of recursive functions or programs that are semantically equivalent to their own computational descriptions, thereby enabling self-referential constructions in formal systems.

23

Publications

747

Citations

30

Authors

27

Institutions

Publications per year

2017–2026

4

Parents

Publications

23

The Computability Problem in Algebraic Topology

Francis Sergeraert · Advances in Mathematics · 1994 · 99 citations

, , +14

A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points

Noson S. Yanofsky · Bulletin of Symbolic Logic · 2003 · 87 citations · Full text

, , +13

Effective properties of sets and functions in metric spaces with computability structure

Mariko Yasugi, Takakazu Mori, Yoshiki Tsujii · Theoretical Computer Science · 1999 · 64 citations

, , +16

Generalized Distance Functions in the Theory of Computation

Anthony Karel Seda, Pascal Hitzler · The Computer Journal · 2008 · 61 citations

, , +9

Real Number Computability and Domain Theory

Pietro Di Gianantonio · Information and Computation · 1996 · 52 citations

, , +11

1–5 of 23

Authors

30

  1. MW
    Masako Washihara

    2 publications · 26 citations

    2

    h-index

  2. TM
    Takakazu Mori

    Kyoto Sangyo University, Japan

    2 publications · 80 citations

    2

    h-index

  3. DK
    Damian Kurpiewski

    Polish Academy of Sciences, Poland

    1 publications · 14 citations

    1

    h-index

  4. NS
    Nizar Souayah

    King Saud University, Saudi Arabia

    1 publications · 16 citations

    1

    h-index

  5. AB
    A. B. Khutoretskii

    1 publications · 13 citations

    1

    h-index

1–5 of 30

Institutions

27

  1. Kyoto Sangyo University

    Kyoto, Japan

    2 h-index

    4 publications

    208 citations

  2. Federal University of São João del-Rei

    São João del Rei, Brazil

    1 h-index

    1 publications

    37 citations

  3. The Graduate Center, CUNY

    New York, United States

    1 h-index

    1 publications

    87 citations

  4. Queen Mary University of London

    London, United Kingdom

    1 h-index

    1 publications

    42 citations

  5. Karlsruhe Institute of Technology

    Karlsruhe, Germany

    1 h-index

    1 publications

    61 citations

  6. Institut Alfred Fournier

    Paris, France

    1 h-index

    1 publications

    99 citations

  7. Naval Information Warfare Center Pacific

    San Diego, United States

    1 h-index

    1 publications

    14 citations

  8. University of Udine

    Udine, Italy

    1 h-index

    1 publications

    52 citations

1–8 of 27

Venues

  1. Theoretical Computer Science

    2 publications · 80 citations

    2

    h-index

  2. Mathematica japonica

    2 publications · 26 citations

    2

    h-index

  3. Advances in Mathematics

    2 publications · 136 citations

    2

    h-index

  4. Algebra and Logic

    2 publications · 26 citations

    2

    h-index

  5. Choice Reviews Online

    CRO · 1 publications · 23 citations

    1

    h-index

1–5