«Черч»

(Фредерик-Эдвин Church) — североамериканский живописец-пейзажист, пользующийся большой известностью в своем отечестве и в Англии; род. в 1816 г. в Гартфорде (в штате Коннектикут). Образовавшись под влиянием жившего в Кетскилле английского ландшафтиста Томаса Коля, он усердно изучал природу севера и юга Америки и пристрастился к воспроизведению преимущественно поразительных по красоте и величественности местностей в моменты эффектных явлений атмосферы. Одним из первых его произведений, обративших на него внимание публики, был вид Ист-Рока, близ Нью-Гевена, еще несильный по колориту, но уже отмеченный печатью крупного таланта. Совершив в 1853 г. путешествие в Южную Америку, Ч. написал ряд тамошних видов, в том числе вид большой цепи Новогранадских гор. Успех этой картины побудил художника пуститься в 1857 г. еще дальше на юг, в тропические страны. Плодами этой поездки были его пейзажи: "Котопахи", "Дождь под тропиками", "Чимборазо" и особенно замечательное "Сердце Арденов" — картина, пропитанная тропическим жаром и удивительно эффектная по разыгранному в ней освещению. Написав после того два превосходных вида Ниагарского водопада, один с Канадского берега, другой с середины реки, Ч. отправился в Лабрадор и в ледовитые края Северной Америки; по возвращении оттуда исполнил, между прочим, вид Ледяных гор, останавливавший на себе общее внимание на выставке лондонской королевской академии 1863 г. В 1866 г. Ч. посетил Ямайку, в 1868 г. переплыл в Европу, съездил в Грецию и на Восток и изготовил там много этюдов; при их помощи были написаны им виды афинского Парфенона, Дамаска, пещерного храма в Каменистой Аравии, Иерусалима и другие картины, в сильной степени отзывающиеся направлением знаменитого английского пейзажиста Тернера, влияние которого отчасти отражалось и в прежних его картинах. Кроме живописи, Ч. занимался физической географией и произвел несколько немаловажных исследований в области этой науки.

(Church)

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

Соч. в рус. пер.: Введение в математическую логику, т. 1, М., 1960.

ЧЁРЧ

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

в рус. пер.: Введение в математич. логику, т. 1, М., 1960.