undecidable
EN → TR
Tanım
•Incapable of being algorithmically decided in finite time. For example, a set of strings is undecidable if it is impossible to program a computer (even one with infinite memory) to determine whether or not specified strings are included.
•(of a WFF) logically independent from the axioms of a given theory; i.e., that it can never be either proved or disproved (i.e., have its negation proved) on the basis of the axioms of the given theory. (Note: this latter definition is independent of any time bounds or computability issues, i.e., more Platonic.)
Diğer Dillerde
Almancaunentscheidbar
İspanyolcaindecidible
Lehçenierozstrzygalny
Finceratkeamaton
Çekçenerozhodnutelný
Rumencenedecidabil
İbraniceאי־כריע
Etimoloji
Etymology tree English un- English decide Proto-Indo-European *-tḗr Proto-Indo-European *-dʰlom Proto-Indo-European *-dʰlis Proto-Italic *-ðlis Latin -bilis Latin -ābilis Old French -ablebor. Middle English -able English -able English decidable English undecidable From un- + decidable.
Eş & Zıt Anlamlılar
Zıt anlamlılar
Örnek Cümleler
Kararsız teoriler (Undecidable theories).
Undecidable theories.
Bu, Church teoremi olarak bilinir.[1] Peano aritmetiğinin karar verilemez olduğunun kanıtı.
This is known as Church's theorem.[9] His proof that Peano arithmetic is undecidable.