Alonzo Church

Er wurde am 4. Juni 1903 Washington D.C. geboren studierte an der Princeton und schloss dort mit dem Doktorat ab. wurde er dort Professor für Mathematik.

Am bekanntesten ist er für seine des Lambda-Kalküls . Er publizierte dazu 1936 einen Bericht in dem er damit dass es unentscheidbare Probleme gibt (d.h. die auf eine Fragestellung ist nicht mathematisch berechenbar). Resultat regte seinen Studenten Alan Turing zu Überlegungen zum Halteproblem an welches auch unentscheidbar

Church und Turing fanden dann heraus der Lambda-Kalkül und die Turingmaschine ebenbürtig in der Ausdruckskraft sind und noch einige weitere äquivalente Mechanismen zum Berechnen Funktionen angeben.

Dieses Resultat ist unter dem Namen Church-Turing-These bekannt.

Ein weiterer bekannter Doktorand von Church Stephen Kleene.

Church blieb Mathematikprofessor in Princeton bis 1967 ; dann ging er nach Kalifornien. Er 1995 .

Siehe auch

• Lambda-Notation
• Entscheidungsproblem

Weblinks

• Church biography

Bücher zum Thema Alonzo Church

Dieser Artikel von Wikipedia unterliegt der GNU FDL.