Alonzo Church
good wiki

Alonzo Church

Alonzo Church byl americký matematik a logik, narozený 14. července 1903 a zemřelý 11. srpna 1995. Je známý především díky své práci v oblasti teoretické informatiky a matematiky, zejména jako autor Churchovy teze, která se zabývá otázkou zdrojů pro výpočet a rozhodovatelnosti. Church také vyvinul lambda kalkulus, což je formální systém, který se stal klíčovým konceptem v teorii funkcí a programovacích jazyků. Během svého života byl profesorem na Princetonské univerzitě a měl významný vliv na řadu oborů, včetně logiky, kryptografie a umělé inteligence. Jeho přínos k matematickému myšlení a informatice ho řadí mezi nejvýznamnější postavy 20. století.

More at Wikipedia

You might be interested in

Doctor of Philosophy

Doktorát filozofie (Ph.

Alan Turing

Alan Turing (23.

Bertrand Russell

Bertrand Russell (1872–1970) byl britský filozof, logik, matematik, historik a sociální kritik.

Computer scientist

Počítačový vědec je odborník, který se zabývá teorií, vývojem a aplikacemi počítačových systémů a softwaru.

Lisp (programming language)

LISP (LISt Processing) je rodina programovacích jazyků, která byla vyvinuta v 50.

American Academy of Arts and Sciences

Americká akademie umění a věd (American Academy of Arts and Sciences) je prestižní nezisková organizace založená v roce 1780 v Bostonu.

Turing machine

Turingova mašinka (Turing machine) je teoretický model výpočtového zařízení, který navrhl britský matematik a logik Alan Turing v roce 1936.

Harvard University

Harvardova univerzita je prestižní soukromá univerzita ve Spojených státech, nacházející se v Cambridge, Massachusetts.