Бессонов, А. В. О двух неверных догмах, связанных со второй теоремой Гёделя о неполноте арифметики [Текст]. Ч. 2 / А. В. Бессонов> // Философия науки. - 2016. - № 2. - С. 42-61. - Библиогр.: с. 61 (22 назв. ). - Продолж. Начало: N 4, 2014 . - ISSN 1560-7488
Рубрики: Философия Философия науки Математика Теория чисел Кл.слова (ненормированные): Гёделя теорема -- арифметика -- неадекватность предиката доказуемости -- предикат недоказуемости -- теорема Гёделя Аннотация: Рассматривается аргументация против реализуемости выдвинутой Д. Гильбертом программы финитного обоснования математики, основанная на второй теореме К. Гёделя о неполноте арифметики. Показывается, что такая аргументация изначально некорректна, поскольку она необходимо приводит к абсурдным выводам. Тем самым опровергается общепринятое положение, согласно которому вторая теорема служит решающим аргументом в доказательстве несостоятельности гильбертовской программы. Доп.точки доступа: Гёдель, К. (австрийский математик ; 1906-1978); Гильберт, Д. (1862-1943) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |