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

Paul Wegner와 Dina Goldin은 10 년 넘게 교회-튜링 논문이 종종 CS 이론 공동체와 다른 곳에서 잘못 표현되었다고 주장하는 논문과 책을 출판 해 왔습니다. 즉, 함수 계산에만 적용되는 경우 모든 계산을 포함하는 것으로 표시되는데, 이는 모든 계산의 매우 작은 하위 집합입니다. 대신 그들은 계산하는 동안 외부 세계와의 통신이 이루어지는 대화식 계산을 …

38 computability  turing-machines  machine-models  church-turing-thesis 

이 사이트에서 가장 많이 논의 된 질문 중 하나는 교회 예배 주제를 반박하는 것이 무엇을 의미 하는가 입니다. 이것은 Dershowitz와 Gurevich가 2008 년에 교회 튜링 논문이 Symbolic Logic의 게시판이라는 증거를 발표했기 때문입니다. (나는 여기서 논의하지는 않지만 링크와 광범위한 의견은 원래 질문을 참조하십시오. -뻔뻔한 자체 프로모션- 내가 쓴 블로그 항목 ) …

35 soft-question  lo.logic  church-turing-thesis 

최근에 친구 (강한 유형의 언어를 옹호하는 사람)와 대화를 나누고있었습니다. 그는 논평했다 : Lambda Calculus의 발명가는 항상 입력을 의도했습니다. 이제 우리는 것을 알 수 있습니다 교회 와 관련이 있었다 간단히 입력 된 람다 미적분 . 실제로, 그는 Lambda 미적분에 대한 오해를 줄이기 위해 Simply Typed Lambda 미적분학을 설명한 것 같습니다. 이제 …

16 lambda-calculus  church-turing-thesis  lisp  typed-lambda-calculus 

이것은 순진한 질문 일지 모르지만 여기에갑니다. (편집-공감을 얻지 못했지만 아무도 대답을 제공하지 않았습니다. 아마 생각보다 어렵거나 모호하거나 불명확 한 질문일까요?) Gödel의 첫 번째 불완전 성 정리는 중지 문제의 결정 불가능성에 대한 증거로 입증 될 수 있습니다 (예 : Sipser Ch. 6; Scott Aaronson의 블로그 게시물 ). 내가 이해 한 것 …

11 lo.logic  computability  church-turing-thesis