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 июня 1903, Вашингтон -1995) — американский логик, математик, профессор Принстонского (1929—67) и Калифорнийского (с 1967) университетов. Внес значительный вклад в математическую логику, теорию алгоритмов, компьютерную математику. Развивал т. н. функциональный подход в основаниях математики, инициированный М. И. Шейнфинкелем. На основе введенного им оператора функциональной абстракции (ламбда-оператор) Чёрч построил исчисления конверсии и ввел понятие определимости: функция определима, если она может быть представлена как объект некоторого исчисления; следовательно, эффективно вычислима. Т. о., понятие определимости уточняет интуитивное понятие алгоритма. Чёрч привел первый пример (1935, опубликован в 1936) неразрешимого перечислимого множества. Доказал (1936) неразрешимость проблемы разрешения для узкого исчисления предикатов. Выдвинул (1936) т. н. тезис Чёрча: всякая эффективно вычислимая функция является общекурсивной. Чёрч известен также исследованиями в области логической семантики и модальной логики. Ему принадлежит известная «Библиография математической логики» от ее истоков до 1935 включительно. Чёрч — один из основателей журнала «Journal of Symbolic Logic» (1936) и его редактор до 1979.
Соч.: A Set of Postulates for the Foundation of Logic.— «Annal Mathemathic», 1932, sei. 2, v. 33, N 2; 1933, sei. 2, v. 34, N 4; An Insolvable Problem of Elementary Number Theory.— «American Journal Mathemathic», 1936, v. 58, N 2; The Calcul of Lambda-cjnversion. Princeton, 1951; Введение в математическую логику, т. 1. М-, I960.
Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:
Код для вставки на сайт или в блог:
Код для вставки в форум (BBCode):
Прямая ссылка на эту публикацию:
Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц. Если это не так - свяжитесь с администрацией сайта. Материал будет немедленно удален. Электронная версия этой публикации предоставляется только в ознакомительных целях. Для дальнейшего её использования Вам необходимо будет приобрести бумажный (электронный, аудио) вариант у правообладателей.
На сайте «Глубинная психология: учения и методики» представлены статьи, направления, методики по психологии, психоанализу, психотерапии, психодиагностике, судьбоанализу, психологическому консультированию; игры и упражнения для тренингов; биографии великих людей; притчи и сказки; пословицы и поговорки; а также словари и энциклопедии по психологии, медицине, философии, социологии, религии, педагогике. Все книги (аудиокниги), находящиеся на нашем сайте, Вы можете скачать бесплатно без всяких платных смс и даже без регистрации. Все словарные статьи и труды великих авторов можно читать онлайн.