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

“Định lý Bất toàn của Gödel là một trong những khám phá khoa học vĩ đại nhất thế kỷ XX, sánh ngang với Thuyết tương đối của Einstein và Nguyên lý Bất định của Heisenberg” (The New Yorker, 29/06/2016). “Thành tựu của Kurt Gödel trong logic hiện đại vô cùng độc đáo và kỳ vĩ – thực ra nó còn hơn cả một tượng đài, đó là một cột mốc sẽ tiếp tục được nhìn thấy từ xa trong không gian và thời gian… Với thành tựu của Gödel, đối tượng của logic chắc chắn đã hoàn toàn thay đổi bản chất và khả năng của nó” (John von Neumann, Giáo sư Viện Nghiên cứu cao cấp Princeton, tác giả thiết kế 2 chiếc máy tính điện tử đầu tiên EDVAC và ENIAC). “Gödel là nhà phát minh thực sự của ngôn ngữ lập trình và cấu trúc d...Xem thêm