«hypercomputation» etiketlenmiş sorular

Akılda kalıcı bir başlık için üzgünüm. Anlamak istiyorum, Kilise Dönemi tezini doğrulamak için ne yapılması gerekiyor? Okuduğum bir yerde bunu yapmak matematiksel olarak imkansız! Neden? Turing, Rosser vb. Arasında ayrım yapmak için farklı terimler kullanılmıştır: "ne hesaplanabilir" ve "ne bir Turing makinesi tarafından hesaplanabilir". Turing'in bu konudaki 1939 tanımı şöyledir: …

83 computability  proofs  hypercomputation 

1990'larda hiper hesaplama üzerinde çok fazla araştırma görüyorum , ancak son yıllarda bu konuda çok az çalışma var gibi görünüyor. Bu alandaki araştırmaların öldüğü doğru mu? Eğer öyleyse, bunun nedenleri neler olabilir? Bu alanın ikna edici bir şekilde ödün vermediği gösterildi mi?

18 reference-request  computability  hypercomputation 

Hiper hesaplama, Turing makineleri kullanılarak simüle edilmesi mümkün olmayan hesaplama modellerini ifade eder. (Hiper bilgisayarların fiziksel olarak gerçekleştirilmesi zorunlu değildir!) Bazı hiper bilgisayarların, standart Turing makinelerinin Durdurma Sorununun çözülmesini sağlayan bir kaynağa erişimi vardır . Buna "süper güç" deyin: süper güce sahip bir hiper bilgisayar, herhangi bir standart Turing makinesinin …

17 computability  hypercomputation