Tôi vừa hoàn thành một khóa học về khả năng tính toán và logic, đó là một khóa học thú vị. Giảng viên giới thiệu một vài cuốn sách về các slide của mình, bao gồm "Gôdel, Escher, Bach". Tôi có thể thấy cuốn sách khá nổi tiếng, và trông rất thú vị. Nhưng tôi có một vài câu hỏi để hỏi về nội dung của nó.
Nội dung vẫn còn hiệu lực ngày hôm nay? Tôi đoán hầu hết các công cụ lý thuyết không thay đổi qua đêm, nhưng có bất kỳ điểm quan trọng nào không còn tồn tại ngày hôm nay mà tôi nên biết không?
Tôi cho rằng chúng ta thực sự đã đạt được một số tiến bộ trong 30 năm qua hoặc lâu hơn. Có ai trong số các bạn có thể giới thiệu một cuốn sách về chủ đề bao gồm tiến trình này (logic, AI, khả năng tính toán) không?
Một câu hỏi khác: Tôi có phải biết về Escher và Bach không?