Blum axioms
id:
blum-axioms-0-9720298
title:
Blum axioms
text:
In computational complexity theory the Blum axioms or Blum complexity axioms are axioms that specify desirable properties of complexity measures on the set of computable functions. The axioms were first defined by Manuel Blum in 1967. Importantly, Blum's speedup theorem and the Gap theorem hold for any complexity measure satisfying these axioms. The most well-known measures satisfying these axioms are those of time and space.
brand slug:
wiki
category slug:
encyclopedia
description:
Axioms in computational complexity theory
original url:
https://en.wikipedia.org/wiki/Blum_axioms
date created:
date modified:
2023-09-21T03:41:50Z
main entity:
{"identifier":"Q4059945","url":"https://www.wikidata.org/entity/Q4059945"}
image:
fields total:
13
integrity:
14