Hangisi hesaplanamaz?

İçindekiler:

Hangisi hesaplanamaz?
Hangisi hesaplanamaz?
Anonim

(Karar Verilemez Karar Verilemez Hesaplanabilirlik teorisinde, karar verilemez bir problem, evet/hayır yanıtı gerektiren bir tür hesaplama problemidir, ancak her zaman her doğru cevabı verir; yani, olası herhangi bir program bazen yanlış cevap verir veya herhangi bir cevap vermeden sonsuza kadar çalışır. https://en.wikipedia.org › wiki › List_of_undecidable_problems

Karar verilemez sorunların listesi - Wikipedia

basitçe, cevabı (veya çıktısı) "doğru" veya "yanlış" olan bir karar problemi bağlamında hesaplanamaz anlamına gelir. Hesaplanamaz bir problem, onu çözmek için kullanılabilecek bir algoritmanın olmadığı bir problemdir.

Hesaplanamayan problemler nelerdir?

Hesaplanabilirlik teorisinde, karar verilemeyen bir problem, evet/hayır yanıtı gerektiren, ancak her zaman doğruyu veren herhangi bir bilgisayar programının mümkün olmadığı tipi bir hesaplama problemidir. Cevap; yani, olası herhangi bir program bazen yanlış yanıt verir veya hiçbir yanıt vermeden sonsuza kadar çalışır.

Hesaplanamaz sayı nedir?

Chaitin'in sabiti, hesaplanamayan bir sayının bir örneğidir (aslında bir örnek ailesidir). Rastgele oluşturulmuş bir programın (belirli bir modelde) durma olasılığını temsil eder. Yaklaşık olarak hesaplanabilir, ancak (belli ki) keyfi bir hassasiyetle hesaplamak için bir algoritma yoktur.

Hangi sorunhesaplanabilir mi?

Matematiksel bir problem eğer prensipte bir bilgi işlem cihazı tarafından çözülebiliyorsa hesaplanabilir. "Hesaplanabilir" kelimesinin bazı yaygın eşanlamlıları "çözülebilir", "karar verilebilir" ve "özyinelemeli"dir. Hilbert, tüm matematiksel problemlerin çözülebilir olduğuna inanıyordu, ancak 1930'larda Gödel, Turing ve Church durumun böyle olmadığını gösterdi.

Boş küme hesaplanabilir mi?

Boş küme hesaplanabilir'dir. Tüm doğal sayılar kümesi hesaplanabilir. Her doğal sayı (standart küme teorisinde tanımlandığı gibi) hesaplanabilirdir; yani, belirli bir doğal sayıdan küçük doğal sayılar kümesi hesaplanabilir.

Önerilen: