ПРЕПРИНТ
Эта статья является препринтом и не была отрецензирована.
О результатах, изложенных в препринтах, не следует сообщать в СМИ как о проверенной информации.
О результатах, изложенных в препринтах, не следует сообщать в СМИ как о проверенной информации.
Конструктивное доказательство теорем Тарского о невыразимости истины и Гёделя о неполноте
2026-05-18
В статье дается принципиально новое конструктивное доказательство теорем Тарского о невыразимости истины и Гёделя о неполноте, основанное на невыразимости экзистенциального содержания внутри формализма (<<дефицит остенсии>>), без которого сам формализм теряет смысл. Показано, почему классическая теорема Гёделя возникает по той же причине.
Ссылка для цитирования:
Торгашин А. Ю. 2026. Конструктивное доказательство теорем Тарского о невыразимости истины и Гёделя о неполноте. PREPRINTS.RU. https://doi.org/10.24108/preprints-3115273
Список литературы
