Чёрч

58

(Church) Алонзо (р 14.6.1903, Вашингтон), американский логик, математик. Профессор Принстонского университета (1947—1967). С 1967 профессор математики и философии Калифорнийского университета (Лос-Анджелес). Работы Ч. Относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул основную гипотезу теории вычислимых функций (т. Н. Тезис Чёрча). Каждая эффективно вычислимая функция является общекурсивной (см. Рекурсивные функции). В 1935 Ч. Привёл пример неразрешимой массовой проблемы, а в 1966 доказал, что Разрешения проблема для исчисления предикатов неразрешима. Эти результаты оказали большое влияние на развитие математической логики. Ч. Внёс существенный вклад в развитие комбинаторной логики.

Ему принадлежат исследования в области логической семантики (См. Логическая семантика) и модальной логики. Соч. В рус. Пер. Введение в математическую логику, т. 1, М., 1960.

Значения в других словарях
Черути

(Ceruti) Джакомо (прозванный Иль Питоккетто, Il Pitocchetto, т. Е. Маленький нищий) (года рождения и смерти неизвестны), итальянский живописец 18 в. Работал между 1720 и 1750 в Бреше, а также, возможно, в Венеции. Один из наиболее самобытных мастеров итальянской жанровой живописи 18 в., Ч. Создавал композиции, отмеченные сдержанным колоритом, подчёркнутым демократизмом образов, глубоким сочувствием к бедственному положению крестьянства («Путник», собр. Тестори, Новара и др.). Писал также религио..

Черути Джакомо

Черути (Ceruti) Джакомо (прозванный Иль Питоккетто, Il Pitocchetto, т.. ..

Чёрч Алонзо

Чёрч (Church) Алонзо (р 14.6.1903, Вашингтон), американский логик, математик. Профессор Принстонского университета (1947‒1967). С 1967 профессор математики и философии Калифорнийского университета (Лос-Анджелес). Работы Ч. Относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул основную гипотезу теории вычислимых функций (т. Н. Тезис Чёрча). Каждая эффективно вычислимая функция является общекурсивной (см. Рекурсивные функции. ..

Черче

бальнео-грязевой курорт во Львовской области УССР. Расположен в 80 км от Львова и в 7 км от ж.-д. Станции Рогатин. Лето умеренно тёплое (средняя температура июля 18°С), зима умеренно мягкая (средняя температура января —5°С). Осадков 730 мм в год. Лечебные средства. Сульфидные сульфатно-гидрокарбонатно-кальциево-магниевые и сульфатные кальциевые воды, используемые для ванн. Торфяная грязь. Лечение болезней органов движения и опоры, гинекологических, периферической нервной системы. Санаторий, вод..

Черч

(Фредерик-Эдвин Church) — североамериканский живописец-пейзажист, пользующийся большой известностью в своем отечестве и в Англии. Род. В 1816 г. В Гартфорде (в штате Коннектикут). Образовавшись под влиянием жившего в Кетскилле английского ландшафтиста Томаса Коля, он усердно изучал природу севера и юга Америки и пристрастился к воспроизведению преимущественно поразительных по красоте и величественности местностей в моменты эффектных явлений атмосферы. Одним из первых его произведений, обративших..

Дополнительный поиск Чёрч Чёрч

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Чёрч" в словаре Большая Советская энциклопедия, подробное описание, примеры использования, словосочетания с выражением Чёрч, различные варианты толкований, скрытый смысл.

Первая буква "Ч". Общая длина 4 символа