História Tudósnaptár
História - Tudósnaptár
Church, Alonzo
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 NY 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 >  NEW >  História - Tudósnaptár Copyright info