Ich habe gerade einen Kurs über Berechenbarkeit und Logik absolviert, der ein interessanter Kurs war. Der Vortragende empfiehlt auf seinen Folien einige Bücher, darunter "Gödel, Escher, Bach". Ich kann sehen, dass das Buch ziemlich berühmt ist und sehr interessant aussieht. Ich habe jedoch einige Fragen zum Inhalt.
Ist der Inhalt heute noch gültig? Ich denke, die meisten theoretischen Dinge ändern sich nicht über Nacht, aber gibt es wichtige Punkte, die ich heute nicht mehr beachten sollte?
Ich gehe davon aus, dass wir in den letzten 30 Jahren tatsächlich einige Fortschritte erzielt haben. Kann jemand von Ihnen ein Buch zu diesem Thema empfehlen, das diesen Fortschritt enthält (Logik, KI, Berechenbarkeit)?
Noch eine Frage: Muss ich über Escher und Bach Bescheid wissen?