«computability» etiketlenmiş sorular

Lisans matematik dallarına yönelik bir konuşma için hazırlanıyorum ve bunun bir parçası olarak karar verilebilirlik kavramını tartışmayı düşünüyorum. Şu anda karar verilebilir veya kararsız olduğunu bilmediğimiz bir sorun örneğini vermek istiyorum. Bu tür birçok sorun var, ancak hiçbiri şu ana kadar iyi örnekler olarak öne çıkmıyor. Karar verilebilirliği açık olan …

92 computability  decidability 

Akılda kalıcı bir başlık için üzgünüm. Anlamak istiyorum, Kilise Dönemi tezini doğrulamak için ne yapılması gerekiyor? Okuduğum bir yerde bunu yapmak matematiksel olarak imkansız! Neden? Turing, Rosser vb. Arasında ayrım yapmak için farklı terimler kullanılmıştır: "ne hesaplanabilir" ve "ne bir Turing makinesi tarafından hesaplanabilir". Turing'in bu konudaki 1939 tanımı şöyledir: …

83 computability  proofs  hypercomputation 

Turing Makinesi ile Lambda hesabı arasında bir ilişki var mı - yoksa aynı zamanda ortaya çıkmışlar mıydı?

49 computability  lambda-calculus  turing-machines 

Bazı sorunların çözülemez olduğu bilinmektedir, ancak yine de bunları çözme konusunda bazı ilerlemeler yapmak mümkündür. Örneğin, durma sorunu belirlenemez, ancak kodunuzdaki potansiyel sonsuz döngüleri tespit etmek için araçlar oluşturma konusunda pratik ilerleme sağlanabilir. Döşeme problemleri çoğu zaman kararsızdır (örneğin, bu polyomino bazı dikdörtgeni döşer mi?) Ancak yine bu alanda sanatın …

48 computability  approximation-algorithms  parameterized-complexity  halting-problem 

Aşağıdaki mermi noktalarıyla vurgulanmış üç ilgili alt sorum var (merak ediyorsanız, hayır, bölünemezlerdi). Andrej Bauer, burada bazı işlevlerin bir Turing makinesi üzerinden gerçekleştirilebileceğini, ancak lambda-calculus aracılığıyla gerçekleştirilemediğini yazdı . Akıl yürütmenin önemli bir adımı: Bununla birlikte, eğer lambda matematiğini kullanırsak, o zaman [program] c bir f fonksiyonunu temsil eden bir …

48 computability  lambda-calculus  turing-machines 

Anladığım kadarıyla Turing'in modelinin hesaplamayı tarif ederken "standart" olduğu ortaya çıktı. Bunun neden böyle olduğunu bilmek ilgimi çekiyor - yani, TM modeli neden diğer teorik olarak eşdeğer (benim bilgime göre) modellerden daha yaygın bir şekilde kullanıldı, örneğin Kleene's Rec-Recursion veya Lambda Calculus (anlıyorum) eski olan daha sonra görünmüyordu ve ikincisi …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

Can her fonksiyonu zaman içinde hesaplanabilir olan boyutu bir alfabe ile makine Turing tek bant üzerinde hesaplanabilmektedir Tekli Teypte zamanı büyüklüğünde (say, ve boş) bir alfabe kullanarak Turing makinesi ?f:{0,1}∗→{0,1}f:{0,1}∗→{0,1}f : \{0,1\}^* \to \{0,1\}tttk=O(1)k=O(1)k = O(1)O(t)O(t)O(t)3330,1,0,1,0,1, (OP tarafından aşağıdaki yorumlardan) Girişin kullanılarak yazıldığına dikkat edin , ancak büyüklüğündeki alfabeyi kullanan …

40 computability  turing-machines 

Bu ilişkili bir sorudur bu bir . Çok fazla tartışmadan sonra tekrar çok daha basit bir formda koymak, tamamen farklı bir soru gibi geldi. Durma sorununun kararsızlığının klasik kanıtı, kendisine varsayımsal bir HALT aldatmacası kararı almaya çalışırken bir çelişki ortaya koymasına dayanır. Bunun sadece, DURD kararının kendisinin durup durmayacağına karar …

40 computability  lo.logic  proofs 

"Gerçekten rastgele" sayıların üretilmesinin Turing ile karşılaştırılabilir olup olmadığına dair kesin bir cevap arıyorum. Bunu tam olarak nasıl ifade edeceğimi bilmiyorum. "Rastgele sayı üretimi için verimli algoritmalar" konulu bu StackExchange sorusu sorumu yanıtlamaya yaklaşıyor. Charles Stewart cevabında, "Martin Löf'in rastgeleliği] bir makine tarafından üretilemez" diyor. Ross Snider, “herhangi bir belirleyici …

39 reference-request  computability  turing-machines  randomness 

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 

Bunu son zamanlarda duydum - "deterministik olmayan bir makine, olasılıksal bir makine ile aynı değildir. Ham terimlerle, deterministik olmayan bir makine, geçiş olasılıklarının bilinmediği bir olasılıksal makinedir". Anladığım kadarıyla hissediyorum ama gerçekten anlamıyorum. Birisi bana bunu açıklayabilir mi (makineler bağlamında veya genel olarak)? Düzenleme 1: Açıklığa kavuşturmak için, alıntı sonlu …

38 automata-theory  randomness  computability 

Bilgisayar programlarının gittikçe artan karmaşıklığı ve gittikçe önem taşıyan konum bilgisayarları toplumumuzda var ve neden kodun doğru çalıştığına dair resmi bir kanıt vermek zorunda olduğunuz programlama dillerini neden toplu olarak kullanmadığımızı merak ediyor. Terimin 'onaylayıcı bir derleyici' olduğuna inanıyorum ( burada buldum ): bir kodun yalnızca kodu yazması gereken değil, …

37 reference-request  complexity-classes  computability  pl.programming-languages 

Bir zamanlar Hesaplanabilirlik ve Mantık üzerine ders aldım. Materyal karmaşıklık / hesaplanabilirlik sınıfları (R, RE, eş-RE, P, NP, Logspace, ...) ve Mantık (Öngörülen hesabı, birinci dereceden mantık, ...) arasında bir korelasyon içeriyordu. Korelasyon, bir alandaki diğer alandaki teknikler kullanılarak elde edilen birkaç sonucu içermektedir. P! = NP'nin Mantık'ta bir problem …

33 cc.complexity-theory  lo.logic  computability 

Tüm girişleri durduran ve hiçbiri olmayan tüm makinelere izin veren bir programlama dili yazmak mümkün değildir. Bununla birlikte, herhangi bir standart karmaşıklık sınıfı için böyle bir programlama dilini tanımlamak kolay görünmektedir. Özellikle, tüm verimli hesaplamaları ve sadece verimli hesaplamaları ifade edebileceğimiz bir dil tanımlayabiliriz. Örneğin, gibi bir şey için : …

32 cc.complexity-theory  computability  pl.programming-languages 

Bir kart oyunu kurallarına basit bir Turing makinesini kodlamak istiyorum. Turing'in eksiksiz olduğunu kanıtlamak için evrensel bir Turing makinesi yapmak istiyorum. Şimdiye kadar Alex Smith'in 2 durumlu, 3 sembollü Turing makinesini kodlayan bir oyun durumu yarattım . Ancak, (kuşkusuz Vikipedi'ye dayanarak) makinenin gerçekten evrensel olup olmadığı konusunda bazı tartışmalar olduğu …

31 computability  turing-machines  universal-computation