catpad: (Default)
[personal profile] catpad

Закончил шестую главу «Хайдеггера и Самовара».
Речь в ней идёт о теореме Гёделя о неполноте и о семиотике. 


Ох, и сложная была глава. Для начала нужно было самому разобраться в доказательстве. Потом его каким-то образом изложить. Но самое главное — придумать метафору теоремы и доказательства, чтобы можно было нарисовать картинки. На всё у меня, похоже, ушло месяца три. 


К тому же обновил обложку и все заставки к главам (и тут мне ребёночек помог). 


Общее содержание здесь.
Да, ещё, наконец, определил жанр этой книги: «поток идей». О чём и написал в предисловии



Date: 2021-02-18 01:19 pm (UTC)
From: [identity profile] e2pii1.livejournal.com
y avvы же недавно было про доказательствo теоремы Гёделя (в виде "остановки программы") довольно простая версия.

Date: 2021-02-18 10:53 pm (UTC)
From: [identity profile] catpad.livejournal.com
Я хотел изложить версию самого Гёделя. Она тоже на самом деле простая, но понять мне её самому было сложно.
Page generated Feb. 7th, 2026 04:01 am
Powered by Dreamwidth Studios