Član : Prijava |Registracija |Znanje Naloži
Iskanje
Cerkev Alonzo [Sprememba ]
Cerkev Alonzo (14. junij 1903 - 11. avgust 1995) je bil ameriški matematik in logičar, ki je pomembno prispeval k matematični logiki in temeljem teoretičnega računalništva. Najbolj znan po lambda računu, cerkev-turingu, dokazuje neodločljivost Entscheidungsproblem, frege-cerkev ontologije in izrek Cerkve-Rosser. Delal je tudi na filozofiji jezika (glej npr. Cerkev 1970).
[Washington DC.][Združene države][Matematika][Logika][Univerza v Kaliforniji, Los Angeles][Teza][Dana Scott][Matematik]
1.Življenje
2.Matematično delo
3.Filozofsko delo
4.Študenti
5.Knjige
[Naloži Več Vsebina ]


Avtorske pravice @2018 Lxjkh