Алонзо Черч: Разлика помеѓу преработките
[непроверена преработка] | [непроверена преработка] |
Избришана содржина Додадена содржина
с Правописна исправка, replaced: истотака → исто така using AWB |
|||
Ред 8:
* Направил [[ламбда компјутер|ламбда калкулус]].
Ламбда калкулус се појавил во неговата позната работа од [[1936]] година кој покажал постоење на „пробле на неодлучивост“. Овај резултат претходел на [[Алан Тјуринг]] познатата работа за [[халтинг проблем|проблему на застанување]] кој
Ламбда-калкулусот влијаеше на дизајнот на програмскиот јазик [[Lisp (програмски јазик)|Lisp]] и [[функционално програмирање]] воопшто. [[Черче кодирање]] беше именуван во чест на Черч.
Ред 34:
[[Категорија:Апсолвенти на Харвард]]
[[Категорија:Апсолвенти на Принстонскиот универзитет]]
[[Категорија:Откривачи на хемиски елементи]]
|