Родился Алонзо Черч, американский логик, математик.

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