💡 Words with a Similar Meaning to "Irreduction"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| interreducibilitynoun | (mathematics) The condition of being interreducible |
| irredundancenoun | (mathematics) The condition of being irredundant |
| pseudoreductionnoun | Something that resembles a reduction but is not a true reduction. |
| aliorelativitynoun | (philosophy, mathematics) The property or principle that nothing is related to itself by a given relation. |
| irreducible | Not able to be reduced or lessened. |
| autoreducibilitynoun | (mathematics, set theory) The state or quality of being autoreducible. |
| irrepnoun | (mathematics) Clipping of irreducible representation. |
| reduction to the absurdnoun | Synonym of reductio ad absurdum. |
| indecomposabilitynoun | (mathematics) The condition of being indecomposable |
| reductionnoun | The act, process, or result of reducing. |
| reductionismnoun | An approach to studying complex systems or ideas by reducing them to a set of simpler components. |
| axiomatizationnoun | The reduction of some system or concept to a set of axioms. |
| destructive soritesnoun | (logic) A form of reductio ad absurdum which involves the denial of the first of a series of dependent propositions as a consequence of the denial of the last. |
| logicismnoun | (philosophy) The doctrine that mathematics is a branch of logic in that some or all mathematics is reducible to logic. |
| abel's irreducibility theoremnoun | (mathematics) A field theory result asserting that if ƒ(x) is a polynomial over a field F that shares a root with a polynomial g(x) that is irreducible over F, then every root of g(x) is a root of ƒ(x). |
| reduced ringnoun | (algebra, ring theory) A ring R that has no nonzero nilpotent elements; equivalently, such that, for x ∈ R, x² = 0 implies x = 0. |
| beta reductionnoun | (computing theory) One of the three rewrite rules of the lambda calculus, which states that the application of a lambda abstraction (λx.t) to a term s yields an expression t[s/x], "t with s instead of x", where all free instances of x in t have been replaced by s. |
| cook reductionnoun | (computing theory) A Turing reduction that runs in polynomial time. |
| church-rosser theoremnoun | (mathematics, computing theory) A theorem stating that, when applying reduction rules to terms in the lambda calculus, the ordering in which the reductions are chosen makes no difference to the eventual result. |
| law of nontrivialitynoun | (logic) The rule that states that not all propositions are true, the opposite of trivialism. |
Translate “Irreduction” into Another Language
Pick a language — the word will be pre-filled in the translator.