Алонзо Черч
американський математик / З Вікіпедії, безкоштовно encyclopedia
Шановний Wikiwand AI, Давайте зробимо це простіше, відповівши на ключові запитання:
Чи можете ви надати найпопулярніші факти та статистику про Черч Алонсо?
Підсумуйте цю статтю для 10-річної дитини
ПОКАЗАТИ ВСІ ЗАПИТАННЯ
Алонзо Черч (Алонзо Чорч) (англ. Alonzo Church; *14 червня 1903, Вашингтон, США — †11 серпня 1995, Гадсон (Огайо), США) — видатний американський математик і логік. Здійснив ряд фундаментальних відкриттів у символічній логіці та теорії обчислюваності, які вплинули на розвиток логіки, внесли суттєві зміни в архітектуру математики в цілому і мали принципове значення для досліджень з основ математики. Автор тези Черча, теореми Черча, лямбда-оператора та похідних понять. Один із творців теорії обчислюваності.
Коротка інформація Алонзо Черч, Alonzo Church ...
Алонзо Черч | |
---|---|
Alonzo Church | |
Народився | 14 червня 1903(1903-06-14)[1][2][…] Вашингтон, США |
Помер | 11 серпня 1995(1995-08-11)[1][2][…] (92 роки) Гадсон, Самміт, Огайо, США[3] |
Поховання | цвинтар Принстонаd[4][5] |
Країна | США |
Діяльність | математик, філософ, викладач університету, інформатик |
Alma mater | Принстонський університет |
Галузь | математика, логіка |
Заклад | Принстонський університет, Каліфорнійський університет у Лос-Анджелесі |
Науковий ступінь | доктор філософії (1927) |
Науковий керівник | Освальд Веблен[6] |
Відомі учні | Стівен Коул Кліні Алан Тюрінг |
Аспіранти, докторанти | C. Anthony Andersond[7] Peter B. Andrewsd[7] Джордж Альфред Барнардd[7] Мартін Девіс[8] Leon Henkind[7] Джон Кемені[7] Стівен Коул Кліні[7] Міхаель Рабін[7] Hartley Rogers, Jr.d[7] J. Barkley Rosserd[7] Nathan Salmond Дана Скотт[7] Смалліан Реймонд[7] Алан Тюрінг[7] Alfred Fosterd[9] Nicholas Rescherd[10] Norman Shapirod[11] William Booned[12] Gerald J. Masseyd[7] Simon B. Kochend[7] Maurice L'Abbéd[7] Robert Wells Ritchied[7] Isaac Malitzd[7] Wayne Harvey Richterd[7] Joel Robbind[7] William Bigelow Eastond[7] Enrique Bustamente-Llacad[7] Aubert Daigneaultd[7] James Russell Guardd[7] James Hallam Bennettd[7] Robert Owen Winderd[7] Gustav Bernard Henseld[7] Donald James Collinsd[7] Edward William, Jr. Chapind[7] Bijan Arbabd[7] Gary R. Mard[7] |
Членство | Американська академія мистецтв і наук AAAS[13] Національна академія наук США |
Відомий завдяки: | Лямбда-числення Теза Черча |
Роботи у Вікіджерелах |
Закрити