4 튜링 머신보다 강력한 이론 머신 적어도 일부 영역에서 튜링 머신 기능을 초과하는 이론적 인 머신이 있습니까? 39 computability turing-machines hypercomputation
5 튜링 기계 + 시간 팽창 = 정지 문제를 해결합니까? 유한 한 관찰자의 과거에 무한 기간의 월드 라인이 포함될 수있는 상대 론적 시공간 (예 : MH 시공간; Hogarth 1994 참조)이 있습니다. 즉, 일반 관찰자는 무한한 수의 계산 단계에 액세스 할 수 있습니다. 컴퓨터가 무한한 시간 동안 완벽하게 작동 할 수 있다고 가정하면 (그리고 그것이 큰 요구라는 것을 알고 있습니다.)이 무한한 … 15 turing-machines halting-problem church-turing-thesis hypercomputation