VỀ TÍNH BẤT TOÀN: TỪ PASCAL ĐẾN GODEL (On the Incompleteness: From Pascal to Godel)

On-the-Incompleteness (1)

Abstract: Blaise Pascal and Kurt Gödel were two great mathematicians, who lived in three centuries apart, but having many resemblances in their schools of thoughts; While Pascal came first to point out the imperfection of mathematics, Gödel put an end for the pursuit of mathematics completeness by proclaiming the Theorem of Incompleteness in 1931. It may not be certain if Gödel had been influenced by Pascal but the concurrence of thoughts between these two geniuses is certainly interesting and worthy of further reflection. Tóm tắt: Blaise Pascal và Kurt Godel là hai nhà toán học vĩ đại sống cách nhau ba thế kỷ, nhưng có những điểm rất tương đồng về mặt tư tưởng: Pascal là người đầu tiên chỉ ra tính bất toàn của Toán học, Godel là người đặt dấu chấm hết cho cuộc thảo luận về tính đầy đủ của toán học khi ông loan báo Định lý Bất toàn. Không rõ Godel có chịu ảnh hưởng gì từ Pascal hay không, nhưng cuộc gặp gỡ tư tưởng giữa hai thiên tài này chắc chắn là một chủ đề rất thú vị và có nhiều ý nghĩa để tiếp tục suy ngẫm. Tiếp tục đọc