«church-turing-thesis» etiketlenmiş sorular

Paul Wegner ve Dina Goldin, on yıldan fazla bir süredir, öncelikle Kilise-Turing tezinin CS Teorisi topluluğunda ve başka yerlerde yanlış tanıtıldığını iddia eden bildiri ve kitaplar yayınlamaktadır. Yani, aslında sadece tüm hesaplamaların çok küçük bir alt kümesi olan fonksiyonların hesaplanması için geçerli olduğunda, tüm hesaplamaları kapsayacak şekilde sunulur. Bunun yerine, …

38 computability  turing-machines  machine-models  church-turing-thesis 

Sitede en çok tartışılan sorulardan biri, Kilise Döndürme Tezini Çürütmek Ne Demekti ? Bunun nedeni, Dershowitz ve Gurevich'in 2008'de Kilise Dönemi Tezi'nin Sembolik Mantık Bülteni olduğunun bir kanıtı yayınlamasıdır. (Bunu burada tartışmayacağım, ancak bağlantı ve kapsamlı yorumlar için lütfen asıl soruya bakın veya - - utanmaz kişisel tanıtım - yazdığım …

35 soft-question  lo.logic  church-turing-thesis 

Yakın zamanda bir arkadaşımla (çok iyi yazılmış dillerin savunucusu olan) bir tartışma yapıyordum. Yorum yaptı: Lambda Matematik'in mucitleri her zaman yazılmasını istediler. Şimdi görebilirsiniz Kilisesi ile ilişkili bulunmuştur Basitçe Yazılan Lambda Calculus . Gerçekten de, Lambda Hesabı hakkındaki yanlış anlaşılmayı azaltmak için Basitçe Yazılan Lambda Analizini açıklamış gibi görünüyor. Şimdi …

16 lambda-calculus  church-turing-thesis  lisp  typed-lambda-calculus 

Bu naif bir soru olabilir, ama başlıyoruz. (Düzenleme - upvotes almıyor, ancak kimse de bir cevap sunmadı; belki de soru düşündüğümden daha zor, belirsiz veya belirsiz mi?) Gödel'in İlk Eksiklik Teoremi, durma sorununun kararsızlığının bir sonucu olarak kanıtlanabilir (örn. Sipser Ch.6; Scott Aaronson tarafından yazılan blog yazısı ). Anladığım kadarıyla …

11 lo.logic  computability  church-turing-thesis