«halting-problem» 태그된 질문

어떤 문제는 결정할 수없는 것으로 알려져 있지만 그럼에도 불구하고 문제 해결에 약간의 진전이있을 수 있습니다. 예를 들어, 정지 문제는 결정 불가능하지만 코드에서 잠재적 인 무한 루프를 감지하기위한 도구를 작성하는 데 실질적인 진전이있을 수 있습니다. 타일링 문제는 종종 결정하기 어려운 경우가 있습니다 (예 :이 폴리 노 미노 타일에 사각형이 있습니까?). 다시이 …

48 computability  approximation-algorithms  parameterized-complexity  halting-problem 

나는 정지 문제가 일반적으로 결정 불가능하다는 것을 알고 있지만 분명히 멈추는 기계와 그렇지 않은 기계가 있습니다. 가능한 모든 튜링 머신 중에서 정지 여부에 대한 증거가없는 가장 작은 머신은 무엇입니까?

31 halting-problem 

셀 수있는 알고리즘 세트 (Gödel 번호로 표시)를 사용하면 N의 모든 하위 집합을 계산 (이진 검사하는 이진 알고리즘 작성) 할 수 없습니다. 증명은 다음과 같이 요약 할 수 있습니다. 만약 가능하다면 N의 모든 서브셋 집합을 셀 수 있습니다 (우리는 그것을 계산하는 알고리즘의 고델 (Gödel) 번호를 각 서브셋에 연결할 수 있습니다). 이것이 …

29 computability  halting-problem 

제목 질문에 대한 명확한 답변을 찾고 있습니다. 흑백으로 합법적 인 움직임 만하는 경우 프로그램이 중단되면 게임이 유한 한 시간 안에 종료되도록 프로그램을 무한 보드의 유한 조각 구성으로 변환하는 규칙 세트가 있습니까? 규칙은 일반 체스에서 50 이동 규칙, 교환 및 거세를 뺀 것과 같습니다. 그리고 체스와 같은 게임이 튜링 완료되는 데 …

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

Collatz 추측 을 공식적인 문법으로 조사하려는 시도에 대한 좋은 참고 문헌이 있는지 궁금합니다 . (또는 CS 커뮤니티에서 이러한 종류의 생성 현상 및 "정지"속성을 처리하려는 다른 시도).

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

나는 성공적으로 해결 된 Collatz 추측 에 대한 "가장 가까운"(그리고 "가장 복잡한") 문제에 관심 이있다. "콜라 츠 (Collatz)와 같은"문제의 클래스는 결정 불가능하다는 것이 입증되었다. 그러나 Hofstadter의 MIU 게임 과 같이 모호하게 유사한 문제 (해결되었지만 장난감 문제의 더 많은 것임)는 실제로 결정 가능하거나 해결되었습니다. 관련 질문 Collatz 추측 및 문법 / …

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 …

12 turing-machines  halting-problem 

카레 하워드 대응 하의 기본 해석을 가진 구성 유형 이론은 총 계산 가능한 함수로만 구성됩니다. 문헌에서 일부는 기능적 프로그램에서 비 종료를 나타 내기 위해 "계산 형 이론"을 사용하는 것에 대해 언급되었지만, 내가 본 논문에서는 이론에 대한 주요 동기가 아닌 것으로 보입니다 (예 : Benton 은 비 종결에 대해 자세히 설명하지 …

10 lo.logic  type-theory  oracles  halting-problem 

Gödel의 첫 번째 불완전 성 정리의 약한 형태, Gödel의 방식으로 길고, 관련이 있으며, 반 직관적 인 장소에서 직접 증거는 정지 문제의 결정 불가능 성을 기반으로 간단하고 직관적 인 증거를 가지고 있습니다-예를 들어 https : / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof 누가이 증거를 처음 제안했으며 어떤 기사 나 책에서 처음 출판 되었습니까?

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

나는 순진한 질문이 있습니다 : 터닝 머신이 사실이지만 자연스럽고 일관되며 유한하게 액화 가능한 이론으로 입증 할 수없는 튜링 머신이 있습니까? 구체적인 예보다는 단순한 존재 증명을 요구합니다. 이것은 서수 분석 과 관련이있을 수 있습니다 . 실제로 튜링 머신미디엄미디엄M우리는 정의 할 수 있습니다 오 ( M)영형(미디엄)O(M)종결을 증명하는 일관된 이론의 최소 서수 (또는 …

9 turing-machines  proof-theory  halting-problem 

두 가지 증거 모두 대각선 인수를 사용하기 때문에 셀 수없는 무한 세트의 존재와 중지 문제의 결정 불가능 사이에 모호한 연결이 있는지 궁금합니다. 모든 세트가 계산 가능한 경우 정지 문제를 결정할 수 있습니까?

9 halting-problem