Alonzo Church
Mer info
- Född
- Död
- Känd för
- Lambdakalkylen, Church–Turing-tesen, Churchs sats
- Nationalitet
- Amerikansk
Besvarade Hilberts avgörbarhetsproblem några månader före Turing, med ett verktyg som blev programmeringsspråkens stamfader.
Church var matematiker i Princeton och utvecklade i början av 1930-talet lambdakalkylen: ett formellt system där allting är funktioner och beräkning består i att skriva om uttryck. Våren 1936 använde han den för att visa att Entscheidungsproblem saknar lösning. Turing nådde samma svar samma år med en helt annan modell, blev därefter Churchs doktorand 1936–1938, och de två systemen visade sig beräkna exakt samma saker — det vi i dag kallar Church–Turing-tesen.
Lambdakalkylen stannade inte i bevisapparaten. Den enkelt typade varianten från 1940 är stamfar till varje typsystem som följt, och LISP, ML, Haskell och de lambdauttryck som numera trängt in i C++, Java och Python härstammar rakt av från Churchs notation för anonyma funktioner.
Handledarlistan är kanske hans största avtryck: Turing, Kleene, Rosser, Dana Scott, Michael Rabin, Raymond Smullyan. Church var pedantisk i en grad som blev anekdotmaterial — tvättade svarta tavlan innan han började skriva på den, även när den redan var ren — och grundade 1936 Journal of Symbolic Logic, som han sedan höll ordning på i fyra decennier.