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 ЧЁРЧ Алонзо



ЧЁРЧ Алонзо

(р. 14.6.1903, Вашингтон), амер. логик и математик. Работы Ч. относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул осн. гипотезу теории вычислимых функций (т. н. тезис Чёрча). В 1935 привёл пример неразрешимой массовой проблемы, а в 1966 доказал, что проблема разрешения для исчисления предикатов неразрешима. Эти результаты оказали большое влияние на развитие математич. логики. Ч. внёс существ. вклад в развитие комбинаторной логики; ему принадлежат исследования в области логич. семантики и модальной логики.

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




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

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



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

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






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

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







    Locations of visitors to this page



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