Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 48 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 49 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 51 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 52
|
ГЁДЕЛЬ Курт[28. 4. 1906, Брюнн (Брно) - 14.1.1978, Принстон], австр. логик и математик. С 1940 в США. Осн. труды в области математич. логики а тео рии множеств. Важнейший результат, полученный Г. - доказательство неполноты достаточно богатых формальных систем (в т. ч. арифметики натуральных чисел и аксиоматич. теории множеств). Г. показал, что в таких системах имеются истинные предложения, к-рые в их рамках недоказуемы и неопровержимы. В филос.-методологич. плане теорема Г. о неполноте означала утверждение принципиальной невозможности полной формализации науч. знания. Г. принадлежит ряд результатов в теории моделей, в области конструктивной логики и др. разделах математич. логики. В 30-х гг. филос. взгляды Г. были близки к неопозитивизму, впоследствии выступал с критикой субъективизма в филос. истолковании логики.
Категория: Словари и энциклопедии » Философия » Советский философский словарь, 1974 г. Другие новости по теме: --- Код для вставки на сайт или в блог: Код для вставки в форум (BBCode): Прямая ссылка на эту публикацию:
|
|