Черче

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

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

IЧерче́н Черчендарья, река на З. Китая. Берёт начало в хребте Аркатаг (Пржевальского), по выходе из гор Куньлуня течёт по юго-восточной окраине пустыни Такла-Макан. Впадает в оз. Карабуранкёль (во время половодья в июле — августе достигает болот к Ю.-З. От озера Лобнор). Длина до озера Карабуранкёль 725 км. Средний расход воды по выходе из гор около 20 м3/сек. Орошает Черченский оазис. В нижнем течении большей частью года безводна. IIЧерче́н (китайское название — Цземо) город в Северо-Западном К..

Черчен (китайское название ‒ Цземо), город в Северо-Западном Китае, на Ю. Синьцзян-Уйгурского автономного района, на р. Черчен. Около 15 тыс. Жит. (1957). Транзитный пункт на Северной Куньлуньской шоссейной дороге. Кустарное производство шерстяных и шёлковых тканей, ковров. Обработка продуктов животноводства и садоводства. В районе ‒ месторождения золота и мрамора.. ..