ПРЕПРИНТ
Эта статья является препринтом и не была отрецензирована.
О результатах, изложенных в препринтах, не следует сообщать в СМИ как о проверенной информации.
О результатах, изложенных в препринтах, не следует сообщать в СМИ как о проверенной информации.
Ещё раз о доказательстве Гёделя
2023-11-18
Внимательное рассмотрение логики построения доказательства «Теоремы о неполноте», выявляет ряд нестыковок и противоречий, делающих процедуру доказательства невыполнимой. Самой главной «нестыковкой», наверное, следует считать то, что запись ∀ x ~ Dem(x, sub(y, 13, y)) в символах базового алфавита не представима, а, следовательно, вычислимого по предложенной процедуре номера не имеет. И, таким образом, все действия,связанные с использованием этого номера, осуществлены быть не могут.
Ссылка для цитирования:
Парфенов А. Н. 2023. Ещё раз о доказательстве Гёделя. PREPRINTS.RU. https://doi.org/10.24108/preprints-3112874
Список литературы
