decidabilityn.

Brit.

/dᵻˌsʌɪdəˈbɪlᵻti/, U.S.

/dəˌsaɪdəˈbɪlᵻdi/,

/diˌsaɪdəˈbɪlᵻdi/

Origin: Formed within English, by derivation; partly modelled on a German lexical item. Etymons: decidable adj., -ity suffix.

Etymology: < decidable adj. + -ity suffix (see -bility suffix), partly after German Entscheidbarkeit (early 19th cent. or earlier; 1911 or earlier in the specific use in logic and mathematics).

Logic and Mathematics.

The property of a statement, formula, etc., being decidable (decidable adj. 1b).

ΘΚΠ

the world > relative properties > number > mathematics > [noun] > mathematical property

irreductibility1865

utility1881

intransitivity1889

independence1902

non-linearity1904

connexity1905

analyticity1914

irredundance1925

irreflexiveness1933

decidability1936

non-emptiness1936

undecidability1942

irredundancy1952

irreflexivity1964

single-valuedness1968

the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > decidability or undecidability

decidability1936

undecidability1942

1936 Jrnl. Symbolic Logic 1 73 In the present paper of Alonzo Church the question is of decidability by methods of effective calculation.

1959 K. R. Popper Logic of Sci. Discov. viii. 191 The questions I have raised..constitute the problem of decidability.

1982 Times Lit. Suppl. 19 Mar. 326/5 His point of departure is an account of decidability of statements, of so-called canonical conditions of proof or refutation.

2007 P. Smith Introd. Gödel's Theorems vii. 47 There are a number of standard, well-understood, ways of formally refining the intuitive notion of decidability.

This entry has been updated (OED Third Edition, June 2015; most recently modified version published online March 2022).

单词	decidability
释义	decidabilityn. Brit. /dᵻˌsʌɪdəˈbɪlᵻti/, U.S. /dəˌsaɪdəˈbɪlᵻdi/, /diˌsaɪdəˈbɪlᵻdi/ Origin: Formed within English, by derivation; partly modelled on a German lexical item. Etymons: decidable adj., -ity suffix. Etymology: < decidable adj. + -ity suffix (see -bility suffix), partly after German Entscheidbarkeit (early 19th cent. or earlier; 1911 or earlier in the specific use in logic and mathematics). Logic and Mathematics. The property of a statement, formula, etc., being decidable (decidable adj. 1b). ΘΚΠ the world > relative properties > number > mathematics > [noun] > mathematical property irreductibility1865 utility1881 intransitivity1889 independence1902 non-linearity1904 connexity1905 analyticity1914 irredundance1925 irreflexiveness1933 decidability1936 non-emptiness1936 undecidability1942 irredundancy1952 irreflexivity1964 single-valuedness1968 the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > decidability or undecidability decidability1936 undecidability1942 1936 Jrnl. Symbolic Logic 1 73 In the present paper of Alonzo Church the question is of decidability by methods of effective calculation. 1959 K. R. Popper Logic of Sci. Discov. viii. 191 The questions I have raised..constitute the problem of decidability. 1982 Times Lit. Suppl. 19 Mar. 326/5 His point of departure is an account of decidability of statements, of so-called canonical conditions of proof or refutation. 2007 P. Smith Introd. Gödel's Theorems vii. 47 There are a number of standard, well-understood, ways of formally refining the intuitive notion of decidability. This entry has been updated (OED Third Edition, June 2015; most recently modified version published online March 2022). < n.1936
随便看	launchengine launcher launchers launches launchho! launching launching cleat launching pad launching platform launching site launching station launching-cleat launching-cord launching-cradle launching-line launching-planks launching-punt launching-sledge launching-tube launching-ways launchingcleat launchingcord launchingcradle launchingline launchingplanks