К интерпретации теорем Геделя о неполноте арифметики
Опровергается общепринятое универсальное ограничительное истолкование знаменитых теорем К. Гёделя о неполноте арифметики. Приводятся контрпримеры ко второй теореме, показывается ограниченность используемых Гёделем выразительных средств. В рамках гёделева подхода доказывается третья теорема о неп...
Published in: | Вестник Томского государственного университета. Философия. Социология. Политология № 4. С. 177-189 |
---|---|
Main Author: | |
Format: | Article |
Language: | Russian |
Subjects: | |
Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001001557 Перейти в каталог НБ ТГУ |
LEADER | 02552nab a2200301 c 4500 | ||
---|---|---|---|
001 | koha001001557 | ||
005 | 20230516131300.0 | ||
007 | cr | | ||
008 | 230511|2011 ru s c rus d | ||
035 | |a koha001001557 | ||
040 | |a RU-ToGU |b rus |c RU-ToGU | ||
100 | 1 | |a Бессонов, Александр Владимирович |9 65440 | |
245 | 1 | 0 | |a К интерпретации теорем Геделя о неполноте арифметики |c А. В. Бессонов |
336 | |a Текст | ||
337 | |a электронный | ||
504 | |a Библиогр.: 17 назв. | ||
520 | 3 | |a Опровергается общепринятое универсальное ограничительное истолкование знаменитых теорем К. Гёделя о неполноте арифметики. Приводятся контрпримеры ко второй теореме, показывается ограниченность используемых Гёделем выразительных средств. В рамках гёделева подхода доказывается третья теорема о неполноте, по которой неразрешимыми оказываются самые обычные в (мета)арифметике суждения, причём таких суждений бесконечно много. Тем самым обосновывается вывод о принципиальной неадекватности гёделева представления знания, из чего следует неправомерность переноса полученных в таком представлении выводов на содержательное знание. | |
653 | |a философия математики | ||
653 | |a философская критика | ||
653 | |a Геделя теоремы о неполноте | ||
655 | 4 | |a статьи в журналах |9 885393 | |
773 | 0 | |t Вестник Томского государственного университета. Философия. Социология. Политология |d 2011 |g № 4. С. 177-189 |x 1998-863X |w 0210-41760 | |
852 | 4 | |a RU-ToGU | |
856 | 4 | |u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001001557 | |
856 | |y Перейти в каталог НБ ТГУ |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=1001557 | ||
908 | |a статья | ||
999 | |c 1001557 |d 1001557 | ||
039 | |b 100 |