#logic toán học

Đị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.