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.

계산 가능한 함수 · Vinony

🌐한국어

English Deutsch Español Français Italiano Nederlands Polski Português Tiếng Việt Türkçe Русский العربية 한국어 中文日本語

EntityQ1148456· pop 25· linked from 464 articles

계산 가능한 함수

Also known as effectively computable function, effectively calculable function

함수의 값을 계산하는 알고리즘이 존재하는 함수

Available in 25 languages

Español
Français
中文
日本語
Русский
Português
Italiano
العربية
Asturian
Bangla

Connections

computability theory

semantic theory of truth

Categories

Computability theory Theory of computation

Sources

wikipedia.externallinksexternallink

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

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

Show 6 more

simple
Tiếng Việt
Türkçe
Ukrainian
zh_yue
한국어

via Wikidata sitelinks · CC0

natural number

Entity

mathematical logic

computational complexity theory

first-order logic

μ-recursive function

semantics of logic

recursively enumerable set

effective method

ground expression

Sign in to save