Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

Kleene's recursion theorem · Vinony

Home
Computability theory
Kleene's recursion theorem

🌐English

English Deutsch Français Italiano Nederlands Português ไทย 한국어 中文日本語

EntityQ1933521· pop 10· linked from 23 articles

Kleene's recursion theorem

Theorem in computability theory

Available in 10 languages

Français
Deutsch
日本語
Português
Italiano
Hebrew
Latin
ไทย
한국어

Connections

μ-recursive function

Categories

Computability theory Theorems in the foundations of mathematics

Sources

wikipedia.externallinksexternallink

via Wikidata sitelinks · CC0

Journal of Symbolic Logic

Entity

sₘₙ theorem

Hartley Rogers, Jr.

International Standard Book Number

digital object identifier

International Standard Serial Number

graph of a function

Cambridge University Press

Sign in to save

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