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.

computable function · Vinony

EntityQ1148456· pop 25· linked from 464 articles

computable function

Sign in to save

function whose values can be computed by an algorithm

Connections

computability theory

semantic theory of truth

mathematical logic

computational complexity theory

first-order logic

μ-recursive function

semantics of logic

recursively enumerable set

effective method

ground expression

Categories

Computability theory Theory of computation

Sources

wikipedia.externallinksexternallink

Similar entities

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

model of computation

Entitydist 0.42

Entitydist 0.46

in-place algorithm

Entitydist 0.47

sponge function

Entitydist 0.49

Entitydist 0.49

unconventional computing

Entitydist 0.50

Entitydist 0.50

Computational complexity of mathematical operations

Entitydist 0.51

Post–Turing machine

Entitydist 0.52

algorithm design

Entitydist 0.55

Entitydist 0.56

Arthur–Merlin protocol

Entitydist 0.56

What links here464 pages

hypercomputation

Blum's speedup theorem

Gödel's completeness theorem

typed lambda calculus

Cantor's paradox

three-valued logic

Mostowski collapse lemma

Stephen Cole Kleene

axiomatic system

Chaitin's constant

lambda calculus

computer-assisted proof

superseded scientific theory

continuum hypothesis

algebra of sets

computable number