22/05/2026
THÔNG BÁO THAY ĐỔI THÔNG TIN SỰ KIỆN
🗓 Chủ Nhật, 31/05/2026 | ⏰ 9h00 - 11h00
📍Doxa.Cafe - 48 Đường số 13, Phường An Khánh, TP. HCM
Từng có một thời điểm, nhà triết học kiêm toán học lỗi lạc Bertrand Russell khát khao xây dựng một hệ thống ký hiệu logic tuyệt đối chính xác, nhằm thiết lập nền tảng vững chãi cho toàn bộ tri thức nhân loại. Cùng với Alfred North Whitehead, ông đã viết nên "magnum opus" mang tên Principia Mathematica (PM).
Tác phẩm đồ sộ này hướng tới ba mục tiêu tham vọng:
- Phân tích tối đa các ý tưởng và phương pháp của logic toán học.
- Tối giản hóa các khái niệm nguyên thủy, tiên đề và quy tắc suy luận.
- Dùng hệ thống ký hiệu chính xác nhất để giải quyết triệt để các nghịch lý (như nghịch lý Russell) vốn đang làm lung lay lý thuyết tập hợp đầu thế kỷ 20.
Thế nhưng, vào năm 1931, một chàng trai 25 tuổi tên là Kurt Gödel đã công bố một định lý làm phá sản tham vọng của Russell. Trong một bức thư gửi nhà toán học Leon Henkin, Russell từng thừa nhận:
“Đã 50 năm kể từ khi tôi nghiêm túc nghiên cứu logic toán học... Tôi nhận ra tác phẩm của Gödel có tầm quan trọng mang tính nền tảng, nhưng tôi vẫn cảm thấy khó hiểu về nó.”
Định lý ấy là gì mà khiến một trí tuệ tầm cỡ như Russell cũng phải bối rối? Đó là Định lý bất toàn (Incompleteness Theorems), hay các định lý về tính bất hoàn chỉnh.
Định lý này đã khiến giới khoa học phải xem xét lại niềm tin rằng toán học có thể xây dựng một hệ thống tiên đề hoàn chỉnh, trong đó mọi mệnh đề đúng đều có thể chứng minh được. Gödel đã chỉ ra rằng trong bất kỳ hệ thống hình thức đủ mạnh nào, luôn tồn tại những mệnh đề đúng nhưng không thể chứng minh bằng chính hệ thống đó. Đây là một kết quả vừa hấp dẫn vừa đầy thách thức, mở ra nhiều cuộc tranh luận vượt khỏi phạm vi toán học.
Mến mời các bạn học sinh, sinh viên và những ai quan tâm đến tham dự buổi chia sẻ “Định lý bất toàn của Gödel” - với sự dẫn dắt của PGS. TS. Phạm Đình Nghiệm, cùng nhau:
- Khám phá ý nghĩa thực sự của Định lý bất toàn.
- Phân tích vì sao định lý này thường bị hiểu sai hoặc bị lạm dụng để đưa ra những kết luận triết học quá đà.
- Phân biệt ranh giới giữa giá trị toán học của định lý và những suy diễn triết học rộng lớn, giúp người nghe có cái nhìn tỉnh táo và sâu sắc hơn.
Đây không chỉ là một buổi thuyết trình, mà còn là không gian để cùng nhau đối thoại về những giới hạn của tri thức, vai trò của lý trí, và cách chúng ta nên tiếp cận các kết luận triết học rút ra từ một định lý toán học.
Thông tin sự kiện:
🗓 Chủ Nhật, 31/05/2026 | ⏰9h00 - 11h00
📍Doxa.cafe - 48 Đường số 13, Phường An Khánh, TP. HCM
Đăng ký tại: https://forms.gle/JoQtp7hgumNUf2eU9
Sự kiện miễn phí vé vào cửa, vui lòng gọi đồ uống tại quầy. Mọi đóng góp, nếu có, sẽ được sử dụng để duy trì các không gian đối thoại tại Doxa và các chương trình giáo dục tại studium.
21/05/2026
19/05/2026
19/05/2026
16/05/2026
13/05/2026
11/05/2026
03/05/2026
02/05/2026
30/04/2026
24/04/2026