Tiếng Việt
← Quay lại dòng thời gian

Luận đề Church-Turing

Thời kỳ: Lý thuyết Sơ khai · những năm 1930–những năm 1950

Alonzo Church và Alan Turing độc lập đề xuất Luận đề Church-Turing nổi tiếng. Luận đề này khẳng định rằng mọi hàm có thể tính toán hiệu quả đều có thể tính được bởi máy Turing. Điều này hình thức hóa khái niệm trực giác về “tính toán được” và trở thành nền tảng của khoa học máy tính.

Alonzo Church & Alan Turing

Trạng thái
Đã kiểm chứng
Loại nội dung
fact
Kiểm tra lần cuối

Nguồn và bằng chứng

  1. The Church-Turing Thesis

    Stanford Encyclopedia of Philosophy · Loại nguồn: secondary-summary

    Explains the independent 1936 formulations and the later name "Church-Turing thesis".

    Truy cập: