Итерированные модальные операторы и условия выводимости Гильберта-Бернайса

doi:10.17223/1998863Х/43/3

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

модальные операторы | 2018

Description	Size	Format
Итерированные модальные операторы и условия выводимости Гильберта-Бернайса	627 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.17223/1998863Х/43/3

Title: Итерированные модальные операторы и условия выводимости Гильберта-Бернайса
Title: Iterated modal operators and Hilbert-Bernays derivability conditions
Creator: Целищев, Виталий Валентинович
Date: 2018
DOI: 10.17223/1998863Х/43/3
Description: Анализируются некоторые способы ослабления универсальности условий выводимости Гильберта – Бернайса, связанные с применением модальной логики к теории доказательства, в частности при доказательстве Второй теоремы Геделя о неполноте. Рассмотрен феномен интенсиональной неэквивалентности комбинаций модальных операторов в качестве объяснения интенсионального характера Второй теоремы Геделя. Показано, что причина появления девиантных концепций непротиворечивости формальной системы – неоднозначный перевод неформальных математических концепций в формальный вид, а также побочные эффекты перевода формальных теорий с разной сигнатурой друг в друга.

Relationships: Show Relationship Browser for this Object
collection(s): Журналы ТГУ
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 43. С. 33-43
Language: rus