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

Певні проблеми, як відомо, не можна визначити, але все ж можна досягти певного прогресу в їх вирішенні. Наприклад, проблема зупинки не вирішена, але практичний прогрес може бути досягнутий у створенні інструментів для виявлення потенційних нескінченних циклів у вашому коді. Проблеми з плиткою часто не можна вирішити (наприклад, чи має цей …

48 computability  approximation-algorithms  parameterized-complexity  halting-problem 

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

31 halting-problem 

Відомо, що за допомогою лічильного набору алгоритмів (характеризується числом Геделя) ми не можемо обчислити (побудувати бінарний алгоритм, який перевіряє приналежність) всіх підмножин N. Доказ можна звести так: якби ми могли, то набір усіх підмножин N ​​був би підрахунковий (ми могли б пов’язати з кожним підмножиною номер Gödel алгоритму, який його …

29 computability  halting-problem 

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

16 computability  turing-machines  board-games  halting-problem  recreational 

Мені було цікаво, чи є хороша бібліографія спроб дослідження гіпотези Колатца як формальної граматики? (або будь-які інші спроби спільноти CS боротися з цим класом генеративних явищ та їх властивостями "зупинки").

16 fl.formal-languages  nt.number-theory  halting-problem 

Мене цікавить "найближча" (і "найскладніша") проблема успішного вирішення гіпотези Колатца (про що Ердос чудово заявив, що "математика ще не дозріла для таких проблем"). Доведено, що клас проблем, що нагадують Колац, не можна визначити. Однак проблеми, подібні до розмитості, такі як гра MIU Hofstadter (вирішена, але, правда, більша частина іграшкової проблеми), …

14 reference-request  open-problem  nt.number-theory  halting-problem  computability 

Чи існує машина Тьюрінга, яка може вирішити, чи майже всі інші машини Тьюрінга зупиняються? N→{Mi}N→{Mi}\mathbb{N} \rightarrow \{M_i\}∥⋅∥‖⋅‖\| \cdot \| f(i)=∥{n:Mi can't decide whether Mn halts}∥.f(i)=‖{n:Mi can't decide whether Mn halts}‖.f(i) = \|\{n: M_i \text{ can't decide whether }M_n \text{ halts} \}\|. Які характеристики мінімального значення існують для різних? Наприклад, припустимоє …

12 turing-machines  halting-problem 

Теорія конструктивного типу з її базовою інтерпретацією під кореспонденцією каррі-хауар складається лише із загальних обчислюваних функцій. У літературі деякі говорили про використання "теорії обчислювального типу", щоб представити неприпинення у функціональних програмах, але в роботах, які я натрапив, це, здається, не є основною мотивацією теорії (наприклад, Бентон згадує недетермінізм, продовження та …

10 lo.logic  type-theory  oracles  halting-problem 

Більш слабка форма теореми першої некомплектності Геделя, прямі докази якої в манері Геделя є тривалими, задіяними і десь досить протиінтуїтивними, має простий та інтуїтивний доказ, заснований на нерозбірливості проблеми зупинки - див., Наприклад, https: / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof Хто вперше запропонував цей доказ і в якій статті чи книзі він був опублікований …

9 cc.complexity-theory  lo.logic  halting-problem 

У мене є наївне запитання: чи існує машина Тьюрінга, припинення якої є правдивою, але нездійсненною будь-якою природною, послідовною і кінцево аксіоматизованою теорією? Я прошу просто доказ існування, а не конкретний приклад. Це може мати певний зв’язок із порядковим аналізом . Дійсно, для машини Тьюрінга ми можемо визначити як найменший порядок …

9 turing-machines  proof-theory  halting-problem 

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

9 halting-problem