하이퍼 컴퓨팅 연구가 중단 된 이유는 무엇입니까?

18

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

reference-request  computability  hypercomputation 
— 벨벳 고스트
소스
6
제 3 회 국제 하이퍼 컴퓨팅
— Marzio De Biasi
Velvet Ghost가 물었습니다 :> Bekenstein Bound가 반박하는 것이 사실입니까? 머피의 법칙의 결과로 공간의 공간에있는 정보를 제한하기 때문에 좋은 사례가 있습니다.
1
근처에 튜링 기계를 보낼 블랙홀이 없었습니다.
— Andrej Bauer

답변:

19

하이퍼 계산으로 정확히 의미하는 것을 지정하고 왜 "죽었다"고 생각하는지에 대한 증거를 제공하는 것이 좋습니다.

어쨌든, 자연수 (및 유한 문자열) 에 대한 함수 계산에 대해 이야기한다고 가정 할 때 (나는 더 높은 유형의 계산을위한 모델이 CCA 와 같이 매우 활동적인 영역이라는 것이 분명하다고 생각하기 때문에 ) Turing machines에 의해 정의 된 계산 가능성에 대해서는 주장이 정확하지 않다고 생각합니다 (예 : CiE'05 및 CiE'11 참조). 또한 하이퍼 계산이 새로운 것이라는 주장에 대한 비판을 참조하십시오 .

관심이 있다면 Martin Davis의 기사에 대한 Timothy Chow의 이메일로 시작되는 FOM 메일 링리스트 에 대한 토론도 있습니다 .

— 카베
소스
매우 유익한 답변에 감사드립니다. 솔직히 말해서, 하이퍼 컴퓨팅에 대한 나의 유일한 아는 사람은 1990 년대 중반 신경망의 계산 능력에 대한 Siegelmann의 연구와 특정 신경망 (아날로그 반복 NN)이 하이퍼 컴퓨팅이라는 증거를 통해서입니다. 하이퍼 컴퓨팅 파워의 핵심은 아날로그 특성입니다. 실제 숫자 인 가중치를 가질 수 있습니다. 그래서 Real Computation 이라고 알려진 하이퍼 컴퓨팅의 서브 필드를 언급하고있었습니다 .
— Velvet Ghost
나는 이전에 Martin Davis의 기사를 읽었으며 하이퍼 컴퓨팅이 유행이 아니라고 생각하게되었습니다. Btw ... Bekenstein Bound가이 우주에서 아날로그 계산의 가능성을 반박한다는 것이 사실입니까?
— Velvet Ghost
2

나는 이것이 사실이라고 생각하지 않습니다. 하이퍼 컴퓨팅에 관한 논문을 검색 하기 위해 Arxiv를 검색 하면 많은 인기를 얻습니다.

— 조슈아 허먼
소스
9
하이퍼 컴퓨팅은 Turing 계산보다 강력한 계산 모델 (예 : Wikipedia 참조)을 의미하지만 PostBQP = PP 및 P_CTC = PSPACE는 모두 계산 가능합니다.
— Martin Schwarz
당신이 옳다고 생각하기 시작합니다. 조슈아. 또한 해당 링크에 감사드립니다.
— Velvet Ghost
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.