Запитання з тегом «halting-problem»

Я не розумію, чому проблема зупинки часто використовується для відхилення можливості визначити, чи припиняється програма. У Вікіпедії [стаття] [1] правильно пояснюється, що детермінована машина з обмеженою пам'яттю або зупинить, або повторить попередній стан. Ви можете використовувати алгоритм, який визначає, чи пов'язаний цикл списку реалізує функцію зупинки з складністю простору O …

149 computability  halting-problem 

Я завжди туманно думав, що відповідь на вищезазначене питання була ствердною у наступних рядках. Теорема про незавершеність Геделя та нерозбірливість проблеми зупинки є негативними результатами розв'язуваності та встановленими діагональними аргументами (і в 1930-х рр.), Тому вони повинні якось бути двома способами розгляду однакових питань. І я подумав, що Тьюрінг використовував …

75 computability  logic  halting-problem  incompleteness 

Ми знаємо, що проблема зупинки (на машинах Тьюрінга) не можна визначити для машин Тьюрінга. Чи є якісь дослідження того, наскільки добре людський розум може впоратися з цією проблемою, можливо, за допомогою машин Тьюрінга або комп'ютерів загального призначення? Примітка . Очевидно, що в найсуворішому сенсі ви завжди можете сказати "ні", тому …

60 computability  turing-machines  halting-problem  human-computing 

Алан Тьюрінг запропонував модель машини (машина Тьюрінга, ТМ), яка обчислює (числа, функції тощо) і доводила теорему Холтінга . TM - це абстрактне поняття машини (або двигуна, якщо вам подобається). Теорема зупинки - результат неможливості. Carnot Engine (CE) - це абстрактне поняття теплового двигуна, і Карно довів теорему Карно , ще …

31 turing-machines  halting-problem  entropy 

Я розумію доказ нерозбірливості проблеми зупинки (наведена, наприклад, у підручнику Пападімітріу), засновану на діагоналізації. Хоча доказ є переконливим (я розумію кожен його крок), для мене це не інтуїтивно зрозуміло в тому сенсі, що я не бачу, як хтось би це вивів, починаючи з проблеми. У книзі доказ іде так: "припустимо, …

30 computability  proof-techniques  undecidability  halting-problem  intuition 

Вікіпедія, а також інші джерела, які я знайшов, перелічують voidтип C як тип одиниці, а не порожній. Я вважаю це заплутаним, як мені здається, що voidкраще відповідає визначенню типу порожній / нижній. voidНаскільки я можу сказати, цінності не населяються . Функція з типом повернення void вказує, що функція нічого не …

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 

Проблема зупинки констатує, що не існує алгоритму, який би визначав, чи припиняється дана програма. Як наслідок, повинні бути програми, про які ми не можемо сказати, припиняються вони чи ні. Які найпростіші (найменші) відомі приклади таких програм?

27 computability  turing-machines  halting-problem 

Досить просто зрозуміти, чому проблема зупинки не вирішується для нечистих програм (тобто тих, у яких введення / виведення та / або стани залежать від стан-глобального стану машини); але інтуїтивно зрозуміло, що зупинка чистої програми на ідеальному комп'ютері може бути вирішена за допомогою, наприклад, статичного аналізу. Це насправді так? Якщо ні, …

25 halting-problem  static-analysis 

Я дивився " П’ять етапів прийняття конструктивної математики " Андрія Бауера, і він каже, що існує два види доказування суперечливістю (або дві речі, які математики називають доказом суперечливими): Припустимо, що помилково ... бла-бла-бла, суперечність. Тому P правда.ППPППP Припустимо, - правда ... бла-бла-бла, суперечність. Тому хибний.ППPППP Перший еквівалентний Закону виключеного середини …

23 halting-problem  coq 

Як чорні діри в інформатиці. Ми можемо лише знати, що вони існують, але коли ми маємо одну з них, ми ніколи не дізнаємось, що це одна з них.

23 halting-problem  correctness-proof 

Це питання було перенесено з Теоретичної біржі стека комп'ютерних наук, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 7 років тому . "Алан Тьюрінг довів у 1936 році, що загальний алгоритм вирішення проблеми зупинки для всіх можливих пар програм-введення не може існувати" Чи можу я знайти загальний алгоритм для …

23 computability  formal-methods  halting-problem  software-verification 

Машина Тьюрінга, яка повертається у раніше зустрічається стан із головою для читання / запису на тій же комірці точно такої ж стрічки, потрапить у цикл. Така машина не зупиняється. Чи може хтось навести приклад машини, яка ніколи не зупиняється?

22 computability  turing-machines  halting-problem 

Нещодавно я почув цікаву аналогію, яка стверджує, що докази Тьюрінга про нерозбірливість проблеми зупинки дуже схожі на парадокс перукаря Рассела. Тому мені стало цікаво: математикам вдалося зрештою зробити теорію множин послідовною шляхом переходу від наївного формулювання поля Кантора до більш складної системи аксіом (теорія множин ZFC), роблячи важливі виключення (обмеження) …

21 computability  turing-machines  computation-models  halting-problem 

З мого розуміння доказів того, що проблема зупинки не обчислюється, ця проблема не обчислюється, тому що якщо у нас є програма P (x), яка обчислює, якщо програма x зупиняється чи ні, ми отримали парадокс, даючи P як вхід до той самий P, маючи: P (P), намагаючись вирішити, припиняє чи не …

19 halting-problem 

Чи можливо, щоб середовище виконання виявляло нескінченні цикли і згодом зупиняло пов'язаний процес, чи було б реалізація такої логіки рівнозначною для вирішення проблеми зупинки? Для цього питання я визначаю "нескінченний цикл", щоб означати серію інструкцій та пов'язані з ним дані про початковий стек / купу, які при виконанні повертають процес …

19 halting-problem