Чёрч (Church) Алонзо (р 14.6.1903, Вашингтон), американский логик, математик.Профессор Принстонского университета (1947—1967). С 1967 профессор математики и философии Калифорнийского университета (Лос-Анджелес). Работы Чёрч Алонзо относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул основную гипотезу теории вычислимых функций (т. н. тезис Чёрча): каждая эффективно вычислимая функция является общекурсивной (см. Рекурсивные функции). В 1935 Чёрч Алонзо привёл пример неразрешимой массовой проблемы, а в 1966 доказал, что разрешения проблема для исчисления предикатов неразрешима. Эти результаты оказали большое влияние на развитие математической логики. Чёрч Алонзо внёс существенный вклад в развитие комбинаторной логики: ему принадлежат исследования в области логической семантики и модальной логики.
Соч. в рус. пер.: Введение в математическую логику, т. 1, М., 1960.
Так же Вы можете узнать о...
Дрожащие согласные, сонорные согласные, при произнесении которых смычка ритмически последовательно то размыкается до свободного прохода, то опять смыкается. Калифорний (лат. Californium), Cf, искусственно полученный радиоактивный химический элемент семейства актиноидов, атомный номер 98. Котельники, посёлок городского типа в Московской области РСФСР. Майский ярус (от названия реки Мая, притока реки Алдан), верхний ярус среднего отдела кембрийской системы. Народичи, посёлок городского типа, центр Народичского района Житомирской области УССР, на р. Пахмутова Александра Николаевна (родилась 9. Радиоастрономические обсерватории, научные учреждения, занимающиеся наблюдением электромагнитного излучения небесных объектов в радиоастрономическом диапазоне волн (примерно от 1 мм до 1 км) и изучающие эти объекты на основе наблюдений. Синалар, лекарственное средство из группы гормональных препаратов. Теневой электронный микроскоп, см. Электронный микроскоп. Фотографическая звукозапись, система записи звуковой информации с использованием киноплёнки в качестве носителя записи. Штейр (Steyr), город в Австрии, в земле Верхняя Австрия, на р. Анализ (от греч. análysis — разложение, расчленение), процедура мысленного, а часто также и реального расчленения предмета (явления, процесса), свойства предмета (предметов) или отношения между предметами на части (признаки, свойства, отношения); процедурой, обратной А. «Большая Ивановская мануфактура» им. О. А. Варенцовой, ткацко-отделочная фабрика (БИМ), крупное предприятие текстильной промышленности СССР. Гавайский язык, язык гавайцев, один из полинезийских языков, распространённый на Гавайских островах. Деревянный мост, мост с деревянными пролётными строениями и деревянными опорами.