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.

calculabilité · Vinony

🌐Français

English Deutsch Español Français Italiano Nederlands Português Türkçe Русский العربية فارسی 中文

EntityQ818888· pop 16· linked from 77 articles

calculabilité

capacité à résoudre un problème de manière effective dans des limites imparties de ressources

Available in 16 languages

Deutsch
中文
Português
Italiano
العربية
Albanian
Bulgarian
Haitian Creole
Hebrew
Ido
Nederlands

Connections

lambda calculus

Categories

Computability theory Theory of computation

Sources

wikipedia.externallinksexternallink

via Wikidata sitelinks · CC0

computability theory

Entity

μ-recursive function

hypercomputation

computer science

International Standard Book Number

programming language

mathematical logic

regular expression

modular arithmetic

formal language

pigeonhole principle

theory of computation

finite-state machine

Sign in to save

What links here77 pages

Brouwer fixed-point theorem

lambda calculus

computability theory

Heyting arithmetic

quantum computing

Turing completeness

Edward F. Moore

complexity class

mathematical universe hypothesis

list of computer scientists

mathematical logic

theory of everything

successor function

Robinson arithmetic

Rationalization

galactic algorithm

automated theorem proving

Andrzej Grzegorczyk

Similar entities

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

Church–Turing thesis

Entitydist 0.41

Grzegorczyk hierarchy

Entitydist 0.47

hypercomputation

Entitydist 0.49

Entitydist 0.53

Curry–Howard correspondence

Entitydist 0.55

computational resource

Entitydist 0.56

Entitydist 0.56

decentralized computing

Entitydist 0.56

theory of computation

Entitydist 0.57

Entitydist 0.57

automated theorem proving

Entitydist 0.57

Proposed directive on the patentability of computer-implemented inventions

Entitydist 0.58