Hledat:

Invia.cz Last minute Tunisko Dovolená v Chorvatsku Pojeďte do Egypta Bulharsko Last minute Kréta
 

Alonzo Church

Alonzo Church
Narození 14. června 1903
Washington, D.C.
Úmrtí 11. srpna 1995 (ve věku 92 let)
Hudson
Místo pohřbení hřbitov v Princetonu
Povolání matematik, filosof, vysokoškolský učitel a informatik
Alma mater Harvardova univerzita
Princetonská univerzita
Témata matematická logika a teoretická informatika
Nuvola apps bookcase.svg Seznam dělSouborném katalogu ČR
Některá data mohou pocházet z datové položky.
Chybí svobodný obrázek.

Alonzo Church (14. června 1903 Washington, D.C.11. srpna 1995 Hudson (Ohio)) byl americký matematik, logik a filozof. Byl jedním z prvních lidí zabývajících se teorií algoritmů. Narodil se ve Washingtonu a vystudoval na Princetonské univerzitě, kde se později stal i profesorem.

Je znám především díky svému lambda kalkulu, který popsal v roce 1936 ve článku ukazujícím existenci nerozhodnutelného problému. Na tento článek později navázal Alan Turing ve své práci o problému zastavení. Church pak společně s Turingem ukázal, že lambda kalkul (a další výpočetní modely) má výpočetní sílu Turingova stroje, což otevřelo cestu k Churchově-Turingově tezi.

 
Tento článek je převzat z české wikipedie - otevřené encyklopedie, originální článek naleznete na adrese: „https://cs.wikipedia.org/w/index.php?title=Alonzo_Church&oldid=15596744
Stránka byla naposledy upravena 27. 11. 2017 v 22:57. Editovat celý článek Alonzo Church.
Text je dostupný pod licencí Creative Commons Uveďte autora – Zachovejte licenci 3.0 Unported, případně za dalších podmínek. Podrobnosti naleznete na stránce Podmínky užití.
Další služby: Portál | Katalog | Hledej | Zprávy | Počasí | Kurzy | Práce | Slovník | TV | Online hry | Java hry | SMS | Loga a melodie | Chat | Fórum | Kontakt | Set-top-boxy