«halting-problem» etiketlenmiş sorular

Halting Probleminin neden bir programın durup durmayacağını belirleme olasılığını reddetmek için neden bu kadar sık ​​kullanıldığını anlamıyorum . Wikipedia [makale] [1], sınırlı belleğe sahip deterministik bir makinenin önceki durumu durduracağını ya da tekrarlayacağını doğru bir şekilde açıklıyor. Bağlantılı bir listenin, Halting Fonksiyonunu uygulamak için O (1) uzay karmaşıklığına sahip olup …

149 computability  halting-problem 

Her zaman belirsiz bir şekilde yukarıdaki sorunun cevabının aşağıdaki satırlar boyunca olumlu olduğunu düşündüm. Gödel'in eksiklik teoremi ve durma sorununun kararsızlığı hem karar verilebilirlik konusunda olumsuz sonuçlar doğuruyor hem de diyagonal argümanlarla (ve 1930'larda) ortaya çıkar, bu nedenle aynı konuları görmenin iki yolu olmalılar. Ve Turing'in durma probleminin çözülemez olduğunu …

75 computability  logic  halting-problem  incompleteness 

Durma sorununun (Turing Makineleri üzerinde) Turing Makineleri için kararsız olduğunu biliyoruz. İnsan zihninin bu sorunla ne kadar iyi başa çıkabileceği, muhtemelen Turing Makineleri veya genel amaçlı bilgisayarların yardımı ile ilgili bir araştırma var mı ? Not : Açıkçası, en katı anlamda, her zaman hayır diyebilirsiniz, çünkü tek bir insanın hayatında …

60 computability  turing-machines  halting-problem  human-computing 

Alan Turing, hesaplayan (sayılar, fonksiyonlar vb.) Bir makine (Turing Machine, TM) için bir model önerdi ve Halting Teoremini ispatladı . TM, bir makinenin soyut bir konseptidir (ya da isterseniz motoru). Halting Teoremi imkansız bir sonuçtur. Bir Carnot Motoru (CE), bir ısı motorunun soyut bir konseptidir ve Carnot , termodinamik entropi …

31 turing-machines  halting-problem  entropy 

Durma sorununun kararsızlığının kanıtını (örneğin Papadimitriou'nun ders kitabında köşegenleştirmeye dayanarak) anladım. Kanıt inandırıcı olsa da (her adımını anlıyorum), tek başına sorundan başlayarak birinin nasıl türeteceğini görmeme anlamında benim için sezgisel değil. Kitabın kanıtı şöyle devam eder: " girişindeki durma problemini çözdüğünü varsayalım , yani Turing makinesi girişi için durup karar …

30 computability  proof-techniques  undecidability  halting-problem  intuition 

Vikipedi ile birlikte bulduğum diğer kaynaklar voidgibi boş bir türe karşılık C tipi tipini birim tipi olarak buldum . Bu kafa karıştırıcı buluyorum ki voidboş / alt tip tanımına daha iyi uyuyor. voidSöyleyebileceğim kadarıyla hiçbir değer yok . Geri dönüş tipi boşluğu olan bir işlev, işlevin hiçbir şey döndürmediğini ve …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Durma problemi, belirli bir programın durup durmayacağını belirleyen bir algoritma olmadığını belirtir. Sonuç olarak, sonlandırıp sonlandırmadıklarını söyleyemediğimiz programlar olmalı. Bu tür programların bilinen en basit (en küçük) örnekleri nelerdir?

27 computability  turing-machines  halting-problem 

Durma sorununun neden saf olmayan programlar için (örneğin, makinenin global durumuna bağlı I / O ve / veya durumlara sahip olanlar) kararsız olduğunu anlamak oldukça basittir. ancak sezgisel olarak, saf bir programın ideal bir bilgisayarda durması, örneğin statik analizler ile karar verilebilir gibi görünüyor. Aslında durum bu mu? Olmazsa, bu …

25 halting-problem  static-analysis 

Andrej Bauer'ın “ Yapıcı Matematiği Kabul Etmenin Beş Aşaması ” nı izliyordum ve çelişkiyle iki tür kanıt olduğunu (ya da matematikçilerin çelişkiyle kanıt dediği iki şey) olduğunu söylüyor: yanlış olduğunu varsayalım ... falan filan, çelişki. Bu nedenle P doğrudur.PPPPPP doğru olduğunu varsayalım ... falan filan, çelişki. Bu nedenle P yanlıştır.PPPPPP …

23 halting-problem  coq 

Bilgisayar bilimlerindeki kara delikler gibi. Sadece var olduklarını bilebiliriz ama onlardan birine sahip olduğumuzda onlardan biri olduğunu asla bilemeyiz.

23 halting-problem  correctness-proof 

Bu soru, Teorik Bilgisayar Bilimleri Yığın Değişim Borsası'ndan taşınmıştır , çünkü Bilgisayar Bilimleri Yığın Değişim Borsasında yanıtlanabilir. 7 yıl önce göç etti . "Alan Turing, 1936'da, olası tüm program giriş çiftleri için durma problemini çözmek için genel bir algoritma bulunmadığını kanıtladı. " Bazı olası program giriş çiftleri için durma problemini …

23 computability  formal-methods  halting-problem  software-verification 

Tam aynı bandın aynı hücresindeki okuma / yazma kafasıyla daha önce karşılaşılan bir duruma geri dönen bir Turing makinesi bir halkada yakalanır. Böyle bir makine durmuyor. Birisi, dönmeyen ve hiç durmayan bir makineye örnek verebilir mi?

22 computability  turing-machines  halting-problem 

Son zamanlarda, Turing'in durma sorununun kararsızlığına dair kanıtının Russell'ın berber paradoksuna çok benzediğini belirten ilginç bir benzetme duydum. Merak ettim: matematikçiler sonunda Cantor'un alanın naif formülasyonundan daha karmaşık bir aksiyom sistemine (ZFC set teorisi) geçerek, önemli dışlamalar (kısıtlamalar) ve yol boyunca eklemeler yaparak set teorisini tutarlı hale getirmeyi başardılar. Bu …

21 computability  turing-machines  computation-models  halting-problem 

Durma sorununun hesaplanamayacağına dair kanıtımdan, bu sorun hesaplanamaz çünkü eğer x programının durup durmadığını hesaplayan bir P (x) programımız varsa, P'ye bir girdi olarak P verirken bir paradoksumuz var. aynı P, sahip: P (P), P'nin durup durmadığına karar vermeye çalışıyor. Benim sorum şudur: durma problemi, girdi olarak kullanılan P dışındaki …

19 halting-problem 

Bir çalışma zamanı ortamının sonsuz döngüleri algılaması ve daha sonra ilgili işlemi durdurması mümkün olur muydu veya böyle bir mantığın uygulanması, durdurma sorununun çözümü ile eşdeğer midir? Bu sorunun amacı için, yürütüldüğünde, işlemi tam olarak önceki durumuna (veriler dahil) döndüren bir dizi talimat ve ilişkili başlangıç ​​yığını / yığın verisi …

19 halting-problem