Alonzo Church
Meer info
- Geboren
- Overleden
- Bekend van
- Lambdacalculus, de stelling van Church-Turing, de stelling van Church
- Nationaliteit
- Amerikaans
Beantwoordde Hilberts beslissingsprobleem een paar maanden vóór Turing, met een hulpmiddel dat de voorouder van programmeertalen bleek te zijn.
Church was wiskundige in Princeton en ontwikkelde begin jaren dertig de lambdacalculus: een formeel systeem waarin alles een functie is en rekenen het herschrijven van expressies. In het voorjaar van 1936 toonde hij ermee aan dat het Entscheidungsproblem geen oplossing heeft. Turing kwam datzelfde jaar met een volstrekt ander model tot hetzelfde antwoord, werd van 1936 tot 1938 Churchs promovendus, en de twee systemen bleken precies hetzelfde te kunnen berekenen: wat we nu de stelling van Church-Turing noemen.
De lambdacalculus bleef niet in het bewijs steken. De getypeerde variant uit 1940 is de voorouder van alle typesystemen sindsdien, en LISP, ML, Haskell en de lambda-expressies die inmiddels in C++, Java en Python zijn doorgesijpeld stammen rechtstreeks af van Churchs notatie voor anonieme functies.
Zijn promovendilijst is misschien het grotere erfdeel: Turing, Kleene, Rosser, Dana Scott, Michael Rabin, Raymond Smullyan. Church was zo nauwgezet dat het anekdotisch werd: hij waste het schoolbord voordat hij erop schreef, ook als het al schoon was. In 1936 richtte hij het Journal of Symbolic Logic op en hield het veertig jaar lang op orde.