Алонзо Черч: відмінності між версіями

{{Науковець

| ім'я = Алонзо Черч

| портрет =

| зображення_розмір =

| резиденція =

| громадянство = {{USA}}

| галузь = [[математика]], [[логіка]]

| заклад = [[Принстонський університет]], [[Каліфорнійський університет в Лос-Анжелесі]]

| Alma Mater = [[Принстонський університет]]

| відомий через = [[Лямбда-числення]]<br/>[[Теза Черча]]

| учні = [[Стівен Коул Кліні]]<br/>[[Алан Тюрінг]]

}}

'''Алонзо Черч''' (''Алонзо Чорч'') ({{Lang-en|Alonzo Church}}; *[[14 червня]] [[1903]], [[Вашингтон]], [[США]]&nbsp;— †[[11 серпня]] [[1995]], [[Гадсон]], [[Огайо]], США)&nbsp;— видатний [[США|американський]] [[математик]] і [[логік]]. Здійснив ряд фундаментальних відкриттів у символічній логіці та теорії обчислюваності, які вплинули на розвиток логіки, внесли суттєві зміни в архітектуру математики вцілому і мали принципове значення для досліджень з основ математики. Автор [[Теза Черча|тези Черча]], [[Теорема Черча|теореми Черча]], [[лямбда-оператор]]а та похідних понять. Один із творців теорії обчислюваності.

 

== Біографія ==

 

== Досягнення ==

[[Категорія:Математики США]]

[[Категорія:Випускники Принстонського університету]]

 

{{bio-stub}}