Status Updates From Гёдель, Эшер, Бах: эта беск...

Іноді книжка хоче, щоби я повсякчасно тримав в пам'яті до 5-7 формальних систем зі своїм окремим синтаскисом, аксиомами, теоремами і правилами побудови і виведення. Бо потім книжка через 500 сторінок просто посилається на них за назвою. Я не хочу писати по тобі конспект, книжко 😓. Ну книжечко, ну просто давай продовжим цікавинки про Тьюрінга чи Баха. У тебе це класно получається 🥺

Definitely can get a bit too in the weeds at times, but thoroughly enjoying this one

This (combined with The Two Towers and Blood Meridian) has put a serious spanner in the works for 52 books this year. Well worth it so far though