|
Apr. 11th, 2023|07:04 am |
Ценность синтаксического доказательства первой теоремы в том, что потом легче доказать вторую теорему. И увидеть в ней тонкости: требования к предикату доказуемости и зависимость от машины, которая нумерует аксиомы.
Рекомендую ординальные арифметики и статью Фефермана arithmetization in a general setting.
В книге Use and Abuse есть математические ошибки (одна как минимум) и абсолютно неясные мне философские закидоны. А как популярное описание доказательства книжка очень хорошая в отличие от других популярных. |
|