Định lý Bất toàn của Gödel
Thời kỳ: Lý thuyết Sơ khai · những năm 1930–những năm 1950
Kurt Gödel công bố định lý bất toàn, chứng minh rằng bất kỳ hệ thống hình thức đủ mạnh nào cũng chứa những mệnh đề không thể chứng minh hay bác bỏ trong chính hệ thống đó. Khám phá này không chỉ gây chấn động giới toán học mà còn có ý nghĩa sâu sắc đối với lý thuyết tính toán và trí tuệ nhân tạo.
Kurt Gödel (1906–1978)
Nguồn và bằng chứng
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Springer · Loại nguồn: paper
Gödel’s 1931 paper establishes the first incompleteness theorem.
Xuất bản: ·Truy cập: