Unprovable Truths / Chân lý bất khả chứng

Scientists want to explain everything, but Gödel’s Theorem forces them to recognize that “To explain everything is impossible!”. That is a world-view revolution which changes once and for all our perception of the nature of science and of the perception itself…

Các nhà khoa học muốn chứng minh mọi thứ, nhưng Định lý Gödel buộc họ phải nhận ra rằng “Không thể giải thích mọi thứ được!”. Đó là một cuộc cách mạng về thế giới quan làm thay đổi một lần cho mãi mãi nhận thức của chúng ta về bản chất của khoa học và về chính bản thân sự nhận thức… Tiếp tục đọc

Advertisements

Separating Truths From Provability / Phân biệt chân lý với khả năng chứng minh

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