Ценность синтаксического доказательства первой теоремы в том, что потом легче доказать вторую теорему. И увидеть в ней тонкости: требования к предикату доказуемости и зависимость от машины, которая нумерует аксиомы.
Рекомендую ординальные арифметики и статью Фефермана arithmetization in a general setting.

В книге Use and Abuse есть математические ошибки (одна как минимум) и абсолютно неясные мне философские закидоны. А как популярное описание доказательства книжка очень хорошая в отличие от других популярных.

(Reply to this) (Thread)

Спасибо большое за советы!

(Reply to this) (Parent) (Thread)

спасибо, что принимаешь советы анона.
а то я вербицкому написал, что у него Self-dial and anti-self-dial
4-manifolds, а он пидор вместо этого расскринивает какогото каца и чатгпт

(Reply to this) (Parent) (Thread)

А должно быть self-dual.

А я то думал, что это какая-то крутая новая тема с игрой слов.

(Reply to this) (Parent) (Thread)

это фичи нового Айфона, я ему мудаку так и написал

(Reply to this) (Parent)

тест капчи

(Reply to this) (Parent)

Вот на это еще можно подрочить в свободное время
www.ams.org/notices/200610/fea-feferman.pdf

(Reply to this) (Parent)