«computability» 태그된 질문

Turing 완성도에는 무한한 기억과 무한한 시간이 필요하다는 것을 알고 있습니다. 그러나이 서비스에는 한정된 양의 원자가 있으므로 메모리가 제한됩니다. 예를 들어, 가 비합리적 이지만 우주의 모든 원자가이 목적으로 사용 되더라도 특정 자릿수를 초과하여 저장할 수있는 방법은 없습니다 .ππ\pi 그러면 우주의 한계를 기반으로 구현 된 튜링 머신 (우주의 모든 자원을 사용할 수 …

17 computability  upper-bounds 

미래의 특정 시점에서 우주의 모든 원자 상태를 계산하는 컴퓨터를 만든다고 가정 해 봅시다. 우주는 정의상 존재하는 모든 것 (및 나머지와 상호 작용하는 것)이기 때문에 구축중인 컴퓨터도 포함합니다. 컴퓨터 자체의 원자를 포함하여 컴퓨터를 사용하여 우주의 모든 원자의 상태를 계산할 수 있습니까? 다른 이론적 또는 실제적인 이유로 그러한 컴퓨터를 사용할 수 없다면 …

17 computability 

최근에 나는 아주 흥미로운 이론적 구성을 발견했다. 소위 고델 기계 자체 최적화가 가능한 일반적인 문제 해결사입니다. 반응 환경에 적합합니다. 내가 이해하는 것처럼, 요구 사항은 현재 사용 가능한 하드웨어를 훨씬 뛰어 넘지 만 범용 Turing machine 용 프로그램으로 구현할 수 있습니다. 그래도 많은 세부 정보를 찾을 수 없었습니다. 그러한 기계를 실제로 …

17 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

적절한 위생 처리를 통해 계산 가능한 실수 만 고려할 때 실수 사용에 관한 가장 알려진 결과를 실제로 사용할 수 있다는 일반적인 정리가 있습니까? 또는 계산 가능한 실수 만 고려할 때 유효한 결과의 적절한 특성이 있습니까? 부수적 인 질문은 계산 가능한 실제에 관한 결과를 모든 실제 또는 계산할 수없는 것을 고려하지 …

16 computability  computing-over-reals  topology  model-theory 

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

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

컴퓨터 과학의 놀라운 점 중 하나는 물리적 구현이 어떤 의미에서 "부적절하다"는 것입니다. 사람들은 릴레이, 진공관, 이산 트랜지스터 등과 같은 여러 가지 기판으로 컴퓨터를 성공적으로 구축했습니다. 곧 비선형 광학 재료, 다양한 생체 분자 및 기타 기판으로 Turing-complete 컴퓨터를 만드는 데 성공할 수 있습니다. 원칙적으로 당구 공 컴퓨터 를 구축하는 것이 가능해 …

16 computability  turing-machines  terminology  physics  natural-computing 

( 업데이트 : 아래에 허용 된 답변에 대한 주석 이이 질문이 잘 정의되어 있지 않기 때문에 더 나은 질문이 여기 에 제기 됩니다) 정지 문제의 불가능성에 대한 고전적인 증거는 정지 감지 알고리즘을 입력으로 적용하려고 할 때 모순을 입증하는 데 달려 있습니다. 자세한 내용은 아래 배경을 참조하십시오. 설명 된 모순은 자기 …

16 computability  lo.logic 

튜링이 완료되지 않은 언어는 통역을 직접 작성할 수 없습니다. 나는 그것을 읽을 수있는 단서가 없지만 여러 번 사용 된 것을 보았습니다. 이것이 일종의 "궁극적 인"비 Turing 완전한 언어를 일으키는 것처럼 보입니다. 오직 할 수있는 것튜링 기계에 의해 해석됩니다. 이 언어들은 자연에서 자연에 이르기까지 모든 총 함수를 계산할 필요는 없으며 반드시 …

16 computability  turing-machines 

이 질문은 Math.SE에도 게시되었습니다. /math/1002540/fixed-points-in-computability-nd-logic 여기에 게시해도 괜찮습니다. 그렇지 않은 경우 또는 CS.SE에 대해 너무 기본적인 경우 알려 주시면 삭제하겠습니다. 논리의 고정 소수점 정리와 미적분 사이의 관계를 더 잘 이해하고 싶습니다.λλ\lambda 배경 1) 진실의 불완전 성과 불확실성에서 고정 점의 역할 지금까지 내가 이해, 떨어져 논리를 내면화의 기본 아이디어에서의 증거 모두의 …

15 lo.logic  computability  lambda-calculus 

튜링 머신 은 모든 시작 구성에서 M이 정지 되면 필멸의 상태 라고 말합니다 (특히 테이프 내용과 초기 상태는 임의적 일 수 있음). 모든 재귀 언어는 필멸의 Turing Machine에서 인식됩니까? (받는 TM있을 경우, 즉 L을 수락 인간 TM도가 L은 )MMMMMMLLLLLL

15 computability 

표준 mu-recursive 연산자를 통해 Ackerman 함수 (실제로 Rózsa Péter와 Raphael Robinson이 제안한 버전에 관심이 있습니다)를 빌드하는 방법을 알려 주시겠습니까? 나는 Péter와 Robinson의 원본 논문을 사용해 보았지만 Péter의 논문은 영어와 Robinson의 논문 "Recursion and Double Recursion"및 "Primitive Recursive Functions"와 다른 언어를 사용합니다. 우선 도움이되지 않습니다. Ackerman 함수를 정의하기 위해 double recursion …

15 computability 

튜링 머신에 의해 정의 된 언어 L을 결정하면 L이 NP에 있는지 알고리즘 적으로 결정할 수 있습니까?

15 cc.complexity-theory  computability  turing-machines 

물리학에서 나는 기하학적 관점에서 많은 문제를 조사하도록 훈련되었습니다. 예를 들어, 역학 시스템 등에서 매니 폴드의 차등 기하학. 컴퓨터 과학의 기초를 읽을 때, 나는 항상 기하학적 해석을 찾으려고 노력합니다. 재귀 적으로 열거 가능한 집합에 대한 그럴듯한 기하학적 해석처럼 수식) 또는 숫자 정렬을위한 간단한 알고리즘의 아름다운 기하학적 결과. 나는 전문가가 아니지만 기하학적 …

14 reference-request  computability  big-picture 

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

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

튜링 학위가 주어지면 단어 문제가 그 정도라는 유한하게 제시된 그룹이 오랫동안 알려져 왔습니다. 내 질문은 임의의 다항식 시간 Turing degree에 대해 동일한 것이 사실인지 여부 입니다. 구체적으로하는 decidable 세트를 주어진 단어 문제와 더불어, 유한 한 제시 그룹이 존재하는 W 등, 즉 W ≤ P T 및 ≤ P T W …

14 cc.complexity-theory  computability  gr.group-theory