«hypercomputation» 태그된 질문

눈에 띄는 제목으로 죄송합니다. 교회 튜링 논문을 반증하기 위해서는 어떻게해야합니까? 어딘가에서 읽은 것이 수학적으로 불가능합니다! 왜? Turing, Rosser 등은 "계산 가능한 것"과 "Turing 기계로 계산할 수있는 것"을 구별하기 위해 다른 용어를 사용했습니다. 이에 관한 튜링의 1939 년 정의는 "우리는 기계로 계산할 수있는 기능을 의미하기 위해"계산 가능한 기능 "이라는 표현을 사용해야하며,"정의 …

83 computability  proofs  hypercomputation 

나는 1990 년대 에 하이퍼 컴퓨팅 에 대한 많은 연구를 보았지만 최근에는이 주제에 대한 연구가 거의없는 것 같습니다. 이 분야의 연구가 중단되었다는 것이 사실입니까? 그렇다면 그 이유는 무엇입니까? 이 지역이 확실하지 않은 것으로 나타 났습니까?

18 reference-request  computability  hypercomputation 

하이퍼 컴퓨팅은 튜링 머신을 사용하여 시뮬레이션 할 수없는 계산 모델을 말합니다. (하이퍼 컴퓨터가 반드시 물리적으로 실현 가능한 것은 아닙니다!) 일부 하이퍼 컴퓨터는 표준 튜링 기계 의 정지 문제 를 해결할 수있는 리소스에 액세스 할 수 있습니다. 이것을 "초능력"이라고 부릅니다. 초능력을 가진 하이퍼 컴퓨터는 표준 Turing 기계의 종료 여부를 결정할 수 …

17 computability  hypercomputation