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 ГЕДЕЛЬ Курт (1906—78)



ГЕДЕЛЬ Курт (1906—78)

—австр. математик и логик. Разрабатывал проблемы метаматематики и математической логики. Важнейший результат, полученный Г., состоит в доказательстве (1931) неполноты достаточно богатых формальных систем (в т. ч. аксиоматической теории множеств и арифметики натуральных чисел): в таких системах имеются истинные предложения, к-рые в их рамках недоказуемы и неопровергаемы. Этот результат Г. вызвал интенсивное исследование ограниченностей формальных систем (работы А. Черча, С. Клини, Тарского, А. Мостовского, П. Новикова и др.), а в философском плане означал утверждение принципиальной невозможности полной формализации научного знания. Г. принадлежат также важные результаты в теории моделей (теорема о полноте узкого исчисления предикатов), в области конструктивной логики, теории рекурсивных функций и т. д. В своих философских воззрениях Г. испытал в 30-х гг. влияние неопозитивизма, а впоследствии выступал с критикой субъективизма.

Просмотров: 624
Категория: Словари и энциклопедии » Философия » Философский энциклопедический словарь.- М.: Советская энциклопедия, 1989 г.




Другие новости по теме:

  • ВЕРОЯТНОСТИ, ТЕОРИИ
  • ЗРЕНИЯ, ТЕОРИИ
  • МОДЕЛЬ ПОДСИСТЕМ (СИСТЕМ ДЕЯТЕЛЬНОСТИ И СОЦИАЛЬНЫХ СИСТЕМ)
  • НЕПРОТИВОРЕЧИВОСТЬ АКСИОМАТИЧЕСКОЙ ТЕОРИИ
  • НИХОНДЗИН РОН (япон. - теории о японцах), другое название НИХОН БУНКА РОН (япон. - теории японской культуры)
  • ОРГАНИЗМИЧЕСКИЕ ТЕОРИИ
  • ОРГАНИЗМИЧЕСКИЕ ТЕОРИИ,
  • Общение: исследование функциональных систем
  • ПАРАДОКСЫ (логики и теории множеств)
  • ПОДРАЖАНИЯ ТЕОРИИ
  • ПОЛНОТА АКСИОМАТИЧЕСКОЙ ТЕОРИИ
  • СОЦИОЛОГИЧЕСКИЕ ТЕОРИИ СРЕДНЕГО УРОВНЯ (СРЕДНЕ-УРОВНЕВЫЕ СОЦИОЛОГИЧЕСКИЕ ТЕОРИИ)
  • Специальные социологические теории, или Теории среднего уровня
  • Стадия формальных операций
  • ТЕОРИИ БЮРОКРАТИИ
  • ТЕОРИИ БЮРОКРАТИИ
  • ТЕОРИИ МАССЫ
  • ТЕОРИИ МАССЫ
  • ТЕОРИИ МОДЕРНИЗАЦИИ
  • ТЕОРИИ СТРАТИФИКАЦИИ
  • ТЕОРИИ ТЕХНОКРАТИИ
  • Теории
  • Теории сна
  • Теории эмоций
  • ФОРМАЛЬНЫХ ОПЕРАЦИЙ СТАДИЯ (или УРОВЕНЬ, или ПЕРИОД)
  • ЭГОИЗМА ТЕОРИИ
  • ЭЛИТЫ ТЕОРИИ
  • ЭЛИТЫ ТЕОРИИ
  • ЭЛИТЫ теории
  • мода (в теории вероятностей и математической статистике)



  • ---
    Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

    Код для вставки на сайт или в блог:       
    Код для вставки в форум (BBCode):       
    Прямая ссылка на эту публикацию:       






    Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц.
    Если это не так - свяжитесь с администрацией сайта.
    Материал будет немедленно удален.
    Электронная версия этой публикации предоставляется только в ознакомительных целях.
    Для дальнейшего её использования Вам необходимо будет
    приобрести бумажный (электронный, аудио) вариант у правообладателей.

    На сайте «Глубинная психология: учения и методики» представлены статьи, направления, методики по психологии, психоанализу, психотерапии, психодиагностике, судьбоанализу, психологическому консультированию; игры и упражнения для тренингов; биографии великих людей; притчи и сказки; пословицы и поговорки; а также словари и энциклопедии по психологии, медицине, философии, социологии, религии, педагогике. Все книги (аудиокниги), находящиеся на нашем сайте, Вы можете скачать бесплатно без всяких платных смс и даже без регистрации. Все словарные статьи и труды великих авторов можно читать онлайн.







    Locations of visitors to this page



          <НА ГЛАВНУЮ>      Обратная связь