Ещё раз о доказательстве Гёделя

Автор темы a-parfenov 
ОбъявленияПоследний пост
ОбъявлениеРаботодателям и кадровым агентствам: Размещение вакансий26.03.2008 03:07
ОбъявлениеОткрыта свободная публикация вакансий для математиков26.09.2019 16:34
ОбъявлениеГранты для студентов и аспирантов мехмата и физфака МГУ на обучение в магистратуре Кембриджа 2023/202428.11.2022 13:56
01.12.2023 19:09
Ещё раз о доказательстве Гёделя
Внимательное рассмотрение логики построения доказательства «Теоремы о неполноте», выявляет ряд нестыковок и противоречий, делающих процедуру доказательства невыполнимой. Самой главной «нестыковкой», наверное, следует считать то, что запись ∀ x ~ Dem(x, sub(y, 13, y)) в символах базового алфавита не представима, а, следовательно, вычислимого по предложенной процедуре номера не имеет. И, таким образом, все действия, связанные с использованием этого номера, осуществлены быть не могут. Это, если кратко. А подробнее можно посмотреть здесь:
https://doi.org/10.24108/preprints-3112874
02.12.2023 06:49
-1/12
«Можно ли доказать непротиворечивость логической системы включающей арифметику
(теорию чисел) и не содержащей G-высказываний (в силу подпадания их под «конвенцию»
о запрете)) логическими средствами (в рамках) самой системы?
Или доказать, что это невозможно…?»

Что есть детерминизм для теории чисел?
Извините, только зарегистрированные пользователи могут публиковать сообщения в этом форуме.

Кликните здесь, чтобы войти