Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Search

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

Blum axioms · Vinony

🌐English

English Português Русский 中文日本語

EntityQ4059945· pop 6· linked from 13 articles

Blum axioms

axioms in computational complexity theory

Connections

computable function

International Standard Book Number

Categories

Mathematical axioms Structural complexity theory

Sources

wikipedia.externallinksexternallink

programming language

Entity

digital object identifier

domain of a function

computational complexity theory

indicator function

time complexity

complexity class

partial function

μ-recursive function

space complexity

Journal of the ACM

Peter van Emde Boas

Sign in to save

What links here13 pages

computational complexity theory

Blum's speedup theorem

Kolmogorov complexity

computable function

algorithmic information theory

complexity class

Similar entities

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

Entitydist 0.47

Entitydist 0.48

arithmetical hierarchy

Entitydist 0.52

Entitydist 0.53

Heyting arithmetic

Entitydist 0.53

Entitydist 0.55

Armstrong's axioms

Entitydist 0.56

Entitydist 0.56

axiom schema of specification

Entitydist 0.58

Courcelle's theorem

Entitydist 0.58

commutative property

Entitydist 0.59

Typographical Number Theory

Entitydist 0.60