Một số vấn đề triết học của định lý Gödel trong toán học

Abstract

Bài viết tập trung làm rõ nguyên tắc chứng minh các định lý bất toàn của Kurt Gödel, đồng thời nhấn mạnh tầm quan trọng và ảnh hưởng của chúng đối với toán học hiện đại, triết học và khoa học máy tính. Gödel sử dụng phương pháp mã hóa hai bước: (1) các mệnh đề lôgíc được mã hóa thành các mệnh đề toán học; (2) các mệnh đề toán học được mã hóa thành một số tự nhiên duy nhất gọi là số Gödel. Phương pháp này cho phép các phát biểu toán học có khả năng tự tham chiếu. Tác giả phân tích mệnh đề tự tham chiếu G với nội dung: “Mệnh đề G không thể được chứng minh”, đồng thời làm rõ ý nghĩa của các định lý bất toàn đối với việc nhận thức giới hạn của các hệ hình thức. Bài viết cũng so sánh định lý Gödel với một số nghịch lý tự mâu thuẫn như nghịch lý Russell, nghịch lý người nói dối, bài toán dừng của Turing, tính không của tính không, biện chứng của biện chứng,... Qua đó, tác giả phân tích các hướng tiếp cận nhằm vượt qua nghịch lý tự mâu thuẫn từ lý thuyết kiểu của Russell, lý thuyết ngôn ngữ bậc của Tarski, lý thuyết phạm trù trong toán học đến học thuyết tính không của Phật giáo. Trên cơ sở đó, bài viết đưa ra cảnh báo về việc không nên suy diễn các định lý bất toàn một cách thiếu căn cứ sang các lĩnh vực khác.