Normal view
MARC view
Теоремы Геделя не дезавуируют программу Гильберта (Record no. 425043)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 02779nab a2200301 c 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000619418 |
005 - Дата корректировки | |
Контрольное поле | 20230319211313.0 |
007 - Кодируемые данные (физ. описан.) | |
Контрольное поле постоянной длины | cr | |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 180118|2017 ru s c rus d |
024 7# - Прочие стандартные номера | |
Стандартный номер | 10.17223/1998863Х/40/29 |
Источник номера | doi |
035 ## - Системный контрольный номер | |
Системный контрольный номер | to000619418 |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | RU-ToGU |
Код языка каталог. | rus |
Служба, преобразующая запись | RU-ToGU |
100 1# - Автор | |
Автор | Бессонов, Александр Владимирович |
9 (RLIN) | 65440 |
245 10 - Заглавие | |
Заглавие | Теоремы Геделя не дезавуируют программу Гильберта |
Ответственность | А. В. Бессонов |
246 11 - Заглавие тома/части | |
Заглавие тома/части | Gödel's incompleteness theorems do not disrupt Hilbert’s program |
504 ## - Библиография | |
Библиография | Библиогр.: 13 назв. |
520 3# - Аннотация | |
Аннотация | Рассматривается аргументация против реализуемости выдвинутой Д. Гильбертом программы финитного обоснования математики, основанная на теоремах К. Гёделя о неполноте арифметики. Показывается, что подобная аргументация, базирующаяся на второй теореме о неполноте, изначально некорректна, поскольку она приводит к абсурдным выводам. Обосновывается невозможность финитного доказательства первой теоремы о неполноте, из чего следует нелигитимность основанной на этой теореме аргументации против гильбертовской программы. В результате опровергается хрестоматийное положение, согласно которому теоремы Гёделя о неполноте служат решающими аргументами в доказательстве несостоятельности программы финитного обоснования математики. |
653 ## - Ключевые слова | |
Ключевые слова | Гильберта программа обоснования математики |
653 ## - Ключевые слова | |
Ключевые слова | Геделя теорема |
653 ## - Ключевые слова | |
Ключевые слова | финитные доказательства |
655 #4 - Термин индексирования — жанр/форма | |
Жанр/форма | статьи в журналах |
9 (RLIN) | 879358 |
773 0# - Источник информации | |
Название источника | Вестник Томского государственного университета. Философия. Социология. Политология |
Место и дата издания | 2017 |
Прочая информация | № 40. С. 311-318 |
ISSN | 1998-863x |
Контрольный № источника | 0210-41760 |
852 4# - Местонахождение единицы хранения | |
Код организации-хранителя | RU-ToGU |
856 7# - Электронный адрес документа | |
URL | <a href="http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000619418">http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000619418</a> |
908 ## - Параметр входа данных | |
Параметр входа данных | статья |
999 ## - Системные контрольные номера (Koha) | |
biblionumber (Koha) | 425043 |
No items available.