História Tudósnaptár
História - Tudósnaptár
Kattintson!
H K Sz Cs P Sz V
    1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30 31
Előzetes   Emlékeztető   Javaslatok?   Olvass el! NEW!

A,Á B C CS D E,É F G GY H I,Í J K L M N O,Ó Ö,Ő P Q R S SZ T U,Ú V W X Y Z ZS  ^    Név:  
Church, Alonzo
Washington, D.C., USA, 1903. jún. 14. - Hudson, Ohio, 1995. aug. 11.

Amerikai matematikus, logikus
A számítástechnika elméletének (computer science) egyik megalapozójának tartják. A Princeton-i egyetemen szerzett B.S. fokozatot és itt is doktorált (Ph.D.) 1927-ben, Oswald Veblen tanítványként. Göttingenben folytatta posztdoktorális tanulmányait, majd a Princeton-i egyetemen (1929-1967) és a UCLA-n (University of California, Los Angeles) tanított és kutatott (1967-1990). A számításelméletben a Church-Turing-tézis az 1930-as években megfogalmazott sejtés, mely szerint minden formalizálható probléma, ami megoldható algoritmussal, az megoldható Turing-géppel vagy lambda-kalkulussal is. A lambda-kalkulus egy formális rendszer, amit eredetileg matematikai függvények tulajdonságainak (definiálhatóság, rekurzió, egyenlőség) vizsgálatára vezettek be. Az elmélet kidolgozói Alonzo Church és Stephen Cole Kleene voltak az 1930-as években. Church, 1936-ban, a λ-kalkulus segítségével bizonyította, hogy nem létezik algoritmus a híres Entscheidungsproblem (döntési probléma) megoldására. A λ-kalkulus (akárcsak a Turing-gép) lehetővé teszi, hogy pontosan (formálisan) definiáljuk, mit is értünk kiszámítható függvény alatt. A Church-féle lambda-kalkuluson alapul a LISP programozási nyelv.

Web dokumentumok

 

  KFKI Home >  História - Tudósnaptár Copyright info