Найдено научных статей по теме — 3

Читать PDF
0.00 байт

Витгентшейн против Гёделя: доказанность и доказуемость

Родин Кирилл Александрович
Кратко обрисовывается история споров вокруг записей Л.
Читать PDF
642.29 кб

БЕСТИПОВЫЕ ТЕОРИИ ИСТИНЫ И ВНУТРЕННЯЯ ДОКАЗУЕМОСТЬ НЕПРОТИВОРЕЧИВОСТИ: ПАРАЛЛЕЛИ И ПЕРЕПЛЕТЕНИЯ

Целищев Виталий Валентинович, Костяков Артем Олегович
Предложена комбинация бестиповой концепции истины и «встроенной непротиворечивости» с целью получения систем, выразительные средства которых позволяют доказывать важные факты о самой этой теории.
Читать PDF
511.98 кб

Историко-философский и логический аспекты проблемы взаимосвязи истинности и доказуемости: Г. В. Лейб

Лобовиков В.О.
Обращается внимание на логическое противоречие между тезисом Лейбница о доказуемости всякой истины и метатеоремами Гёделя о семантической неполноте формальной арифметики в случае ее непротиворечивости.