Tại sao nghiên cứu siêu tính toán đã chết?

Tôi thấy rất nhiều nghiên cứu về siêu tính toán trong những năm 1990, nhưng trong những năm gần đây dường như có rất ít công việc về chủ đề này. Có đúng là nghiên cứu trong lĩnh vực này đã chết? Nếu vậy, những lý do cho nó là gì? Là khu vực này được chứng minh một cách thuyết phục là không hứa hẹn?

Sẽ tốt hơn nếu bạn chỉ định chính xác ý của bạn bằng siêu tính toán và đưa ra bằng chứng cho lý do tại sao bạn nghĩ rằng nó đã "chết".

Trong mọi trường hợp, giả sử rằng bạn đang nói về tính toán các hàm theo số tự nhiên (và chuỗi hữu hạn) (vì tôi nghĩ rõ ràng các mô hình cho tính toán loại cao hơn là một lĩnh vực rất tích cực, ví dụ CCA ) và các mô hình tính toán không tương đương với khả năng tính toán được xác định bởi các máy Turing , tôi không nghĩ yêu cầu này là chính xác, ví dụ, xem CiE'05 và CiE'11. Cũng xem những lời chỉ trích chống lại tuyên bố rằng siêu tính toán là một cái gì đó mới:

• Martin Davis, " Tại sao không có kỷ luật như siêu tính toán ", 2006.
• Martin Davis, " Ông là huyền thoại của siêu tính toán ", trong "Alan Turing: Cuộc sống và di sản của một nhà tư tưởng vĩ đại", 2004.

Nếu bạn quan tâm, cũng có một số cuộc thảo luận về danh sách gửi thư của FOM bắt đầu bằng email của Timothy Chow về bài viết của Martin Davis.

Gần đây đã có một số hội nghị về chủ đề tính toán vô hạn, đã xử lý nhiều chủ đề trong siêu tính toán.

• Hội thảo quốc tế Bon về tính toán thông thường (BIWOC) 2007 , xem báo cáo chương trình tại đó
• Hội thảo về Toán học hiệu quả của Uncountable (EMU) 2008
• Hội thảo về Toán học hiệu quả của Uncountable (EMU) 2009

Ngoài ra, đã có những phiên đặc biệt về khả năng tính toán vô hạn trong nhiều hội nghị của CiE.

Tôi không nghĩ điều này là đúng. Tìm kiếm Arxiv cho các bài báo về siêu tính toán nhận được rất nhiều lượt truy cập.