Hesaplanabilirlik ve mantık üzerine yeni bir kurs tamamladım ki bu ilginç bir kurstu. Öğretim üyesi slaytlarında "Gödel, Escher, Bach" içeren birkaç kitap öneriyor. Kitabın oldukça ünlü olduğunu ve çok ilginç göründüğünü görebiliyorum. Ancak içeriği hakkında soracağım birkaç sorum var.
İçerik bugün hala geçerli mi? Sanırım çoğu teorik şey gece boyunca değişmiyor, ama bugün bilmem gereken önemli noktalar var mı?
Aslında son 30 yılda bir miktar ilerleme kaydettiğimizi düşünüyorum. Bu ilerleme hakkında bir kitap (mantık, yapay zeka, hesaplanabilirlik) içeren bir kitap önerebilir misiniz?
Başka bir soru: Escher ve Bach hakkında bilmek zorunda mıyım?