#hiệp sĩ kẻ bịp

Raymond Smullyan: nhà logic biến định lý Gödel thành câu đố

Raymond Smullyan, học trò Alonzo Church, viết sách câu đố hiệp sĩ – kẻ nói dối dẫn người đọc tới định lý bất toàn của Gödel và chuẩn hoá phương pháp bảng phân t