Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Kleene's recursion theorem · Vinony

EntityQ1933521· pop 10· linked from 23 articles

Kleene's recursion theorem

Sign in to save

Theorem in computability theory

Connections

μ-recursive function

Journal of Symbolic Logic

sₘₙ theorem

Hartley Rogers, Jr.

International Standard Book Number

digital object identifier

International Standard Serial Number

graph of a function

Cambridge University Press

Categories

Computability theory Theorems in the foundations of mathematics

Sources

wikipedia.externallinksexternallink

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.36

von Neumann universe

Entitydist 0.49

deterministic context-free grammar

Entitydist 0.58

Category:Quantum complexity theory

Entitydist 0.61

formal verification

Entitydist 0.65

no-communication theorem

Entitydist 0.65

divide-and-conquer algorithm

Entitydist 0.65

problem of induction

Entitydist 0.65

Conjectures and Refutations

Entitydist 0.67

Plesiochronous digital hierarchy

Entitydist 0.69

Entitydist 0.69

worst-case complexity

Entitydist 0.70

What links here23 pages

Stephen Cole Kleene

regular language

Kleene fixed-point theorem

functional programming

sₘₙ theorem

fixed-point theorem

reverse mathematics