Định lý Godel: Nền tảng của khoa học nhận thức hiện đại

by Phạm Việt Hưng

Paperback

Published July 1, 2019

Reviews

[Thanh Ngô · Rating 4 out of 5]

Cuốn sách có nhiều thông tin hay hay. Có chút sạn là nhiều quan điểm của tác giả cuốn sách mình thấy có vấn đề: ví dụ như Định lý bất toàn có thể cho ta biết rằng toán học không thể giải được mọi bài toán không có nghĩa là chúng ta phải bỏ nó để tìm đến tôn giáo.
Đọc xong cuốn này mình nghĩ đến Hawking, ông nói rằng có thể sau bao nhiêu cố gắng của nhân loại thì vẫn không có câu trả lời cho những vấn đềvật lý cơ bản nhất. Dù vậy, không có nghĩa là con người ngừng nỗ lực.

[Tri Dung Tran · Rating 4 out of 5]

Chân thành cảm ơn tác giả Phạm Việt Hưng đã giới thiệu Kurt Godel và Định Lý Bất Toàn tới đông đảo công chúng.

Điều thích thú đầu tiên khi đọc chương mở đầu của cuốn sách là những câu văn giản dị và vui vẻ. Qua diễn đạt của tác giả Phạm Việt Hưng, các khái niệm triết học cao siêu và định lý toán học phức tạp trở nên dễ hiểu, gần gũi với những ứng dụng trong nhìn nhận sự vật, hiện tượng và diễn tiến cuộc sống hàng ngày. Nếu đã từng trò chuyện hay tham dự các buổi thuyết trình của tác giả Phạm Việt Hưng, bạn đọc có thể kỳ vọng sẽ còn bắt gặp nhiều đoạn hài hước và hóm hỉnh trong những phần tiếp sau của cuốn sách.

Một lời khuyến cáo: Kích thích hoạt động của cái trí khi cố gắng nắm bắt để hiểu những khái niệm, định lý, nguyên lý.. được trình bày trong cuốn sách là nỗ lực không đem lại kết quả. Cái trí (nhỏ bé của mỗi người) cần được tĩnh lặng để kết nối với Trí Tuệ của vũ trụ. Tác giả Phạm Việt Hưng có nhắc nhở độc giả điều này khi ông viết rằng, đừng cố bám theo câu chữ mà hãy nắm bắt lấy ý nghĩa.

Định lý Godel được phát biểu: “Mọi hệ logic không thể tự chứng minh hệ tiên đề của nó. Nói cách khác, mọi hệ logic không thể tự giải thích nguồn gốc của nó” (tr. 229).

Khẳng định sự hiện diện của Chúa Trời – Người Sáng Tạo Hoàn Hảo Bất Toàn – là cần thiết và giải thích hợp lý cho nguồn gốc của sự sống có lẽ là ý nghĩa to lớn nhất của định lý Godel.

Đức tin nơi Chúa Trời không cần tới sự chứng minh. Theo giáo lý Do Thái, G-d là duy nhất, vĩ đại và toàn năng, có mặt ở khắp nơi và không có hình tượng. Moses – nhà tiên tri được nhận 10 điều răn từ G-d – chưa từng nhìn thấy G-d. Khi chỉ ra giới hạn của tư duy logic, Định lý Godel đề cao vai trò của trực giác. Nhờ trực giác chúng ta có đức tin nơi G-d.

Henri Poincare phát biểu: “Nhờ logic chúng ta chứng minh, nhờ trực giác chúng ta khám phá.” Trực giác là khả năng cảm thụ chân lý một cách trực tiếp, không cần suy luận và chứng minh. Trong tiến trình nhận thức, trực giác đi trước, lý luận chứng minh đi sau. Trực giác là cái định hướng, là khả năng “đánh hơi,” logic lý luận đóng vai trò kiểm tra cái đã được trực giác phát hiện (tr 219). Blaise Pascal cũng chia sẻ những lời tương tự: “Bước cuối cùng của lý lẽ là nhận ra rằng tồn tại vô số thứ ở phía bên kia tầm với;” “Chúng ta nhận biết chân lý không chỉ bởi lý lẽ, mà còn bằng trái tim;” và “Trái tim có những lý lẽ của nó mà lý trí chẳng hiểu gì cả” (tr. 43).
https://vebimo.wordpress.com/2024/03/...

[Minh Khue · Rating 4 out of 5]

Định lý bất toàn của Godel chứng minh một cách dứt khoát rằng khoa học không bao giờ có thể lấp kín những lỗ hổng của chính nó. Chúng ta không có lựa chọn nào khác là nhìn ra bên ngoài khoa học để tìm câu trả lời. Định lý Godel đã chỉ ra một giới hạn cho những điều chúng ta có thể giải thích hoặc chứng minh, những gì có thể giải thích và chứng minh không phải là tất cả những gì con người muốn biết và có thể biết.
Một điểm đáng chú ý khác tác giả cung cấp cho người đọc 2 ảnh hưởng lớn của định lý Godel đối với khoa học máy tính
-Việc chứng minh của định lý Godel là nguồn gốc dẫn tới khoa học phần mềm của máy tính: trong đó bao gồm 3 kỹ thuật là phương pháp mã hóa (số hóa) ; phương pháp xây dựng hàm đệ quy ; phân biệt ngôn ngữ toán học và mệnh đề nói về toán học( siêu ngôn ngữ toán học).
-Định lý Godel là cơ sở khoa học để chứng minh tính bất toàn của máy tính (1 hệ logic): Máy tính dù thông minh cỡ nào cũng không thể thay thế con người.

[Hoanthieu1996 · Rating 4 out of 5]

Có nhiều chỗ mình cảm thấy hơi lan man tuy nhiên có rất nhiều điều mới làm mình cần phải wow =))

[Đỗ Xuân Tuyên · Rating 3 out of 5]

Nội dung giáo sư viết về định lí thì rất hay rồi, nhưng bàn đến tiến hoá và tôn giáo thì không ổn lắm .