David Hilbert V nh L Bt Ton Ca Gdel: Chm n Gii Hn | ngha cuc sng

David Hilbert từng mơ về một hệ thống toán học hoàn hảo, nơi mọi mệnh đề đều có thể được chứng minh một cách rõ ràng và không thể chối cãi. Tuy nhiên, giấc mơ này đã gặp phải một rào cản không thể vượt qua khi Kurt Gödel xuất hiện với Định Lý Bất Toàn nổi tiếng của mình. Vào năm 1931, Gödel đã chỉ ra rằng trong bất kỳ hệ thống toán học nào đủ mạnh để biểu diễn số học, sẽ luôn tồn tại những mệnh đề mà chúng ta không thể chứng minh được là đúng hay sai t