Электронная библиотека (репозиторий) Томского государственного университета
интенсиональность

Add to Quick Collection   All 3 Results

Showing items 1 - 3 of 3.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Интенсиональность: от философской логики к метаматематике
Authors: Целищев, Виталий Валентинович
Source: Вестник Томского государственного университета. 2020. № 458. С. 85-89
Type: статьи в журналах
Date: 2020
Description: Статья посвящена исследованию статуса интенсиональности в точных контекстах логических и математических теорий. Возникновение интенсиональности в логико-математическом дискурсе приводит к значительным ... More
Add   Итерированные модальные операторы и условия выводимости Гильберта-Бернайса
Authors: Целищев, Виталий Валентинович
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 43. С. 33-43
Type: статьи в журналах
Date: 2018
Description: Анализируются некоторые способы ослабления универсальности условий выводимости Гильберта – Бернайса, связанные с применением модальной логики к теории доказательства, в частности при доказательстве Вт ... More
Add   Интенсиональность Второй теоремы Геделя о неполноте
Authors: Целищев, Виталий Валентинович
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2017. № 40. С. 98-111
Type: статьи в журналах
Date: 2017
Description: Рассмотрены отличия Второй теоремы Геделя о неполноте от Первой теоремы, имеющие первостепенное значение для возможной реабилитации Программы Гильберта. Доказано, что сам Гедель не усматривал во Второ ... More
  • «
  • ←
  • 1
  • →
  • »
^