«church-turing-thesis» 태그된 질문

Church-Turing 논문은 물리적으로 계산할 수있는 모든 것이 Turing Machine에서 계산 될 수 있다고 명시하고 있습니다. 논문 "신경망을 통한 아날로그 계산"(Siegelmannn and Sontag, Theorytical Computer Science , 131 : 331–360, 1994; PDF )은 특정 형태의 신경망 (설정이 논문에 제시되어 있음)이 더 강력하다고 주장합니다. 저자들은 기하 급수적으로 그들의 모델이 튜링 머신 모델에서 …

29 computability  turing-machines  church-turing-thesis 

이것은 순진하고 따라서 잘못된 형식의 질문이므로 미리 사과드립니다! 저의 견해는 튜링 머신이 절차 적 / 제 국적 프로그래밍 언어의 계산 기반으로 간주 될 수 있다는 것입니다. 마찬가지로 람다 미적분은 함수형 프로그래밍 언어의 기초입니다. 나는 최근 교회 튜링 논문이 세 번째 계산 모델 인 일반 재귀 함수 와 상호 동등 함을 …

23 programming-languages  mathematical-foundations  church-turing-thesis 

튜링 결정 가능한 많은 계산 가능한 언어가 있습니다. 셀 수없는 언어가 Turing 결정 가능합니까?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

유한 한 관찰자의 과거에 무한 기간의 월드 라인이 포함될 수있는 상대 론적 시공간 (예 : MH 시공간; Hogarth 1994 참조)이 있습니다. 즉, 일반 관찰자는 무한한 수의 계산 단계에 액세스 할 수 있습니다. 컴퓨터가 무한한 시간 동안 완벽하게 작동 할 수 있다고 가정하면 (그리고 그것이 큰 요구라는 것을 알고 있습니다.)이 무한한 …

15 turing-machines  halting-problem  church-turing-thesis  hypercomputation 

명령어를 수정할 수있는 임의의 컴퓨터 프로그램이있는 경우 명령어를 수정할 수없는 프로그램으로 해당 프로그램을 시뮬레이션 할 수 있습니까? 편집하다: 나는 stackexchange를 처음 사용하므로 여기에 새로운 질문을 할 수 있는지 확실하지 않지만 여기에 간다. 그래서 가능하다는 증거는 실제로 여러분이 보여 주듯이 실제로 간단합니다. 이제는 궁금합니다. 입출력과 동등한 가장 효율적인 비 자기 수정 …

12 computability  computation-models  turing-completeness  church-turing-thesis 

HTML5 + CSS가 Turing Complete임을 "증명"하는 웹 사이트를 보았습니다. SQL이 Turing Complete임을 "증명"하는 웹 사이트를 보았습니다. 튜링 컴플리트 (Turing Complete)라는 의미를 "설명"하려는 웹 사이트들이 많이 있습니다. 충분히! "이 언어 XYZ는 계산 능력이 동일한 계산 기계를 설명 할 수 있습니다. 튜링 머신으로 "?

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

5 페이지 10 주년 기념 에디션, Quantum Computation and Quantum Information, Nielsen & Chuang에서 인용하고 싶습니다 (강조 광산). 강력한 교회에 대한 한 가지 부류의 과제 – 튜링 논문은 아날로그 계산 분야에서 비롯됩니다. 튜링 이후 몇 년간 여러 연구팀은 특정 유형의 아날로그 컴퓨터가 튜링 머신에서 효율적인 솔루션이 없다고 생각되는 문제를 효율적으로 …

9 computation-models  church-turing-thesis