Our intuition tells us that there are many facts that are true but unprovable. However, many people do not want to accept this, until Gödel’s Incompleteness Theorem forces them to accept. An article in Science magazine 06/12/2002, titled “Kurt Gödel – Separating Truths from Provability”, would explain why in mathematics the world of truths is larger than the one of provability…

Trực giác mách bảo chúng ta rằng có nhiều sự thật đúng nhưng không thể chứng minh. Tuy nhiên, nhiều người không muốn chấp nhận điều này, đến khi Định lý Bất toàn của Gödel buộc họ phải chấp nhận. Một bài báo trên tạp chí Science 06/12/2002 nhan đề “Kurt Gödel – Phân biệt Chân lý với Khả năng Chứng minh” sẽ giải thích tại sao trong toán học, thế giới chân lý rộng lớn hơn thế giới khả chứng … Tiếp tục đọc →