Noun
reducibility (countable and uncountable, plural reducibilities)
The property of being reducible.
[S]cience has become used to... using the little... pockets of computational reducibility ([A]n inevitable consequence of computational irreducibility... There have to be these pockets ...scattered around.) to be able to find those cases where you can jump ahead. Stephen Wolfram
If we want to have a predictable life... then we have to build in these... pockets of reducibility. If we were... existing in this irreducible world, we'd never be able to... know what's going to happen. Stephen Wolfram
A technical detail not discussed here but required to complete the proof is immersion reducibility. Source: Internet
By 1908 Russell arrived at a "ramified" theory of types together with an " axiom of reducibility " both of which featured prominently in Whitehead and Russell 's Principia Mathematica published between 1910 and 1913. Source: Internet
Axiom of infinity Ramified types and the axiom of reducibility In simple type theory objects are elements of various disjoint "types". Source: Internet
But reducibility was required to be sure that the formal statements even properly express statements of real analysis, so that statements depending on it could not be reformulated as conditionals. Source: Internet