मैंने सिर्फ कम्प्यूटेबिलिटी और लॉजिक पर एक कोर्स पूरा किया है जो एक दिलचस्प कोर्स था। व्याख्याता अपनी स्लाइड्स पर कुछ पुस्तकों की सिफारिश करते हैं, जिसमें "गोडेल, एस्चर, बाख" शामिल हैं। मैं देख सकता हूं कि पुस्तक काफी प्रसिद्ध है, और बहुत दिलचस्प लगती है। लेकिन इसकी सामग्री के बारे में पूछने के लिए मेरे पास कुछ प्रश्न हैं।
क्या सामग्री आज भी मान्य है? मुझे लगता है कि ज्यादातर सैद्धांतिक सामान रात में नहीं बदलता है, लेकिन क्या कोई प्रमुख बिंदु हैं जो आज नहीं हैं जो मुझे पता होना चाहिए?
मुझे लगता है कि हमने वास्तव में पिछले 30 वर्षों में कुछ प्रगति की है। क्या आप में से कोई भी इस विषय पर एक पुस्तक की सिफारिश कर सकता है जिसमें यह प्रगति (तर्क, एआई, कम्प्यूटेबिलिटी) शामिल है?
एक और सवाल: क्या मुझे एस्चर और बाख के बारे में जानना है?