Komputasi berlebihan mengacu pada model komputasi yang tidak mungkin untuk disimulasikan menggunakan mesin Turing. (Hypercomputer belum tentu dapat direalisasikan secara fisik!) Beberapa hypercomputer memiliki akses ke sumber daya yang memungkinkan Masalah Pemutusan untuk mesin Turing standar dapat diselesaikan. Sebut ini "kekuatan super": komputer super dengan kekuatan super dapat memutuskan apakah mesin Turing standar berakhir.
"Kekuatan super" macam apa yang digunakan oleh hypercomputer?
Tesis Ed Blakey menetapkan kerangka formal untuk mengklasifikasikan beberapa jenis sumber daya utama yang digunakan dalam hypercomputing, tetapi tidak mencoba untuk memberikan survei komprehensif negara adidaya. Saya tidak tertarik pada daftar hypercomputer (ada daftar yang bagus di artikel Wikipedia), tetapi dalam memahami apa yang "saus khusus" gunakan masing-masing model, mungkin dianggap sebagai jenis sumber daya yang unik.
Pertanyaan ini diilhami oleh Seberapa mendasar hal itu tidak dapat dipastikan? . Juga terkait adalah Apa artinya untuk membantah tesis Gereja-Turing? yang menghasilkan banyak diskusi menarik, dan Apakah ada model perhitungan yang saat ini sedang dipelajari dengan kemungkinan lebih kuat daripada Mesin Turing? .