WikiDer > Alonzo-Kirche

Alonzo-Kirche (Washington, D.C, 14. Juni1903 - Hudson (Ohio), 11. August1995) war ein amerikanischMathematiker und Logiker. Seine Credits umfassen einige der grundlegendsten Teile der theoretischen Informatik.

Biografie

Kirche studiert Mathematik zum Princeton Universität, wo er in 1924 sein Bachelor-Abschluss erreicht. Er setzte sein Studium an derselben Universität fort und promovierte in 1927, unter Führung von Oswald Veblen. Im 1929 er wurde in Princeton ernannt als Professor.

Kirche blieb in Princeton (bis Professur) bis um 1967, als er ging Kalifornien gerührt.

Wissenschaftliche Arbeit

Kirche ist am besten bekannt für die Lambda-Kalkül. Diesen Kalkül hat er in seinem berühmten Aufsatz von 1936^[1], in dem er die Existenz von a . entdeckte unentscheidbar zeigte Problem. Mit diesem Ergebnis war er einfach Alan Turing und seine berühmte Arbeit über die Stoppproblem zuvor, in dem Turing das gleiche auf mechanischere Weise demonstrierte. Nach ihren gemeinsamen Erkenntnissen zeigten Turing und Church, dass ihre Mechanismen in der Aussagekraft gleichwertig waren, gefolgt von solchen Äquivalenzbeweisen für eine Reihe anderer zu dieser Zeit im Umlauf befindlicher Berechnungsmodelle. Das Ergebnis dieser Bemühungen war die Church-Turing-Hypothese. Da Uneinigkeit darüber herrscht, wer genau auf die Idee gekommen ist, wird diese Aussage auch hier und da verwendet Theorem der Kirche oder Satz von Turing erwähnt.

Church war auch der geistige Großvater sehr wesentlicher Entwicklungen in der theoretischen Informatik und Mathematik; zu seiner Doktorand gehörte unter anderem Stephen Kleene, J. Barkley Rosser, Leon Henkin, John George Kemeny, Michael Rabin, Dana Scott, Simon Kochen und Raymond Smullyan.

Praktischer Einfluss der Kirche Lambda-Kalkül ist bei den meisten direkt im Design zu spüren, funktionale Programmiersprachen und insbesondere in der LISP-Sprache.