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
随便看	treaclewell treaclier treacliest treacliness treacling treacly tread tread a march tread a maze tread a measure tread a measure, a dance tread a person's steps tread awry tread back one's steps tread clay, this earth, shoe leather tread cover tread down, under foot, in the mire, to the ground, to pieces tread her shoe awry tread her shoe awry rarely amiss tread in a person's footsteps tread lightly tread loose tread on a banana peel tread on a worm and it will turn tread on air