#alan turing

1 bài viết

Macro shot of an old mechanical typewriter and a paper tape with punched holes on a dark desk in a Hải Phòng museum storeroom, raking side light, deep shadows

Định lý bất toàn của Gödel và máy Turing: giới hạn của chứng minh và tính toán

Gödel năm 1931 và Turing năm 1936 chứng minh có giới hạn cho chứng minh và tính toán. Hai kết quả nói gì, không nói gì, và liên quan gì đến AI hôm nay.

28/10/2026 11 phút đọc