Add to Quick Collection
All 6 Results
Showing items 1 - 6 of 6.
Add All Items to Quick Collection
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2019. № 48. С. 24-34
Type: статьи в журналах
Date: 2019
Description:
Статья посвящена характеристике интенсионального модуса математической практики на примере анализа причин истинности геделева предложения. Показано, что допущение обоснованности или непротиворечивости
... More
Source: Вестник Томского государственного университета. 2018. № 434. С. 83-87
Type: статьи в журналах
Date: 2018
Description:
Предложена комбинация бестиповой концепции истины и «встроенной непротиворечивости» с целью получения систем, выразительные средства которых позволяют доказывать важные факты о самой этой теории. Испо
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 43. С. 33-43
Type: статьи в журналах
Date: 2018
Description:
Анализируются некоторые способы ослабления универсальности условий выводимости Гильберта – Бернайса, связанные с применением модальной логики к теории доказательства, в частности при доказательстве Вт
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2017. № 40. С. 98-111
Type: статьи в журналах
Date: 2017
Description:
Рассмотрены отличия Второй теоремы Геделя о неполноте от Первой теоремы, имеющие первостепенное значение для возможной реабилитации Программы Гильберта. Доказано, что сам Гедель не усматривал во Второ
... More
Source: Конституционное и муниципальное право. 2015. № 5. С. 3-8
Type: статьи в журналах
Date: 2015
Description:
В статье представлено рассмотрение конституции в качестве неформальной аксиоматической системы. Предложенная авторами стратегия покоится на следующих основных утверждениях: 1) аксиомы рассматриваются
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2012. № 4. С. 14-20
Type: статьи в журналах
Date: 2012
Description:
Рассматривается феномен непротиворечивости знания с точки зрения актуальности культурно-исторического дискурса; эпистемологический релятивизм подтверждает природу «объективности» конституирующих принц
... More