Дата публикации: 2018

Дата публикации в реестре: 2020-03-03T18:30:18Z

Аннотация:

Анализируются некоторые способы ослабления универсальности условий выводимости Гильберта – Бернайса, связанные с применением модальной логики к теории доказательства, в частности при доказательстве Второй теоремы Геделя о неполноте. Рассмотрен феномен интенсиональной неэквивалентности комбинаций модальных операторов в качестве объяснения интенсионального характера Второй теоремы Геделя. Показано, что причина появления девиантных концепций непротиворечивости формальной системы – неоднозначный перевод неформальных математических концепций в формальный вид, а также побочные эффекты перевода формальных теорий с разной сигнатурой друг в друга.

Тип: статьи в журналах

Источник: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 43. С. 33-43