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 và Alan Turing

Trạng thái
Đã kiểm chứng
Loại nội dung
Dữ kiện
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: Tổng quan thứ cấp

    Giải thích các cách phát biểu độc lập năm 1936 và cái tên “luận đề Church-Turing” xuất hiện về sau.

    Truy cập: