Các Hàm Tương Đối Có Thể Tính Được của Các Biến Thực

Computing - Tập 67 - Trang 167-181 - 2001
Qing Zhou1
1The Software Institute Zhongshan University Guangzhou, Guangdong, 510275 P.R.China e-mail: [email protected], , CN

Tóm tắt

Trong bài báo này, chúng tôi giới thiệu khái niệm tính toán tương đối cho các hàm giá trị thực liên tục. Nó kết hợp khái niệm hồi quy tương đối cho các hàm lý thuyết số với lý thuyết về khả năng tính toán cho các hàm giá trị thực liên tục. Hầu hết không gian bài báo được dành để điều tra các bậc độ không thể giải quyết của những phép toán toán học dẫn từ có thể tính toán được đến không thể tính toán được. Bài báo kết thúc với Định lý 5, khẳng định rằng các vi phân của các hàm C1 có thể tính toán được trên các khoảng compact tối đa là nửa có thể tính toán.

Từ khóa

#khả năng tính toán #hàm giá trị thực #lý thuyết về tính toán #phép toán toán học #hàm C1