Алонзо Черч

Смотреть что такое "Алонзо Черч" в других словарях:

• Черч, Алонзо — Алонзо Чёрч (англ. Alonzo Church; 14 июня 1903, Вашингтон, США 11 августа 1995, Хадсон, Огайо, США) американский математик и логик, внесший вклад в основы информатики. Получил степень бакалавра в Принстонском университете в 1924 году, и… …   Википедия

• Черч Алонзо — Алонзо Чёрч (англ. Alonzo Church; 14 июня 1903, Вашингтон, США 11 августа 1995, Хадсон, Огайо, США) американский математик и логик, внесший вклад в основы информатики. Получил степень бакалавра в Принстонском университете в 1924 году, и… …   Википедия

• Черч — Алонзо Чёрч (англ. Alonzo Church; 14 июня 1903, Вашингтон, США 11 августа 1995, Хадсон, Огайо, США) американский математик и логик, внесший вклад в основы информатики. Получил степень бакалавра в Принстонском университете в 1924 году, и… …   Википедия

• Черч А. — Алонзо Чёрч (англ. Alonzo Church; 14 июня 1903, Вашингтон, США 11 августа 1995, Хадсон, Огайо, США) американский математик и логик, внесший вклад в основы информатики. Получил степень бакалавра в Принстонском университете в 1924 году, и… …   Википедия

• СУЩЕСТВОВАНИЕ — Характерно, что дискуссия о существовании, в которой принимали участие все видные философы и логики того времени Рудольф Карнап, Алонзо Черч, Уиллард Куайн, разгорелась во время второй мировой войны. Скорее закономерно, чем парадоксально, что… …   Энциклопедия культурологии

• ЧЁРЧ —         (Church) Алонзо (р. 14.6.1903, Вашингтон), амер. логик и математик. Работы Ч. относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул осн. гипотезу теории вычислимых… …   Философская энциклопедия