https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Alonzo_ChurchAlonzo Church - Versionsgeschichte2026-06-06T01:56:48ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Alonzo_Church&diff=24786&oldid=previmported>Eriosw: Parameter language eingefügt2025-09-23T20:17:37Z<p>Parameter language eingefügt</p>
<p><b>Neue Seite</b></p><div>'''Alonzo Church''' (* [[14. Juni]] [[1903]] in [[Washington, D.C.]]; † [[11. August]] [[1995]] in [[Hudson (Ohio)|Hudson]], [[Ohio]]) war ein US-amerikanischer [[Mathematik]]er, Logiker und Philosoph und einer der Begründer der [[Theoretische Informatik|theoretischen Informatik]].<br />
<br />
== Werdegang ==<br />
Church studierte an der [[Princeton University]] und schloss dort 1927 in Mathematik mit dem Doktorgrad ab. Nach Aufenthalten an der [[University of Chicago]], der [[Georg-August-Universität Göttingen]] und der Universität Amsterdam wurde er 1929 in Princeton Professor für Mathematik. Church blieb nahezu vier Jahrzehnte Professor in Princeton, bis 1967. Danach wechselte er an die [[University of California, Los Angeles]] (UCLA), wo er bis 1990 Professor für Mathematik und Philosophie war.<br />
<br />
Zu seinen Doktoranden gehören u.&nbsp;a. [[C. Anthony Anderson]], [[Peter B. Andrews (mathematician)|Peter B. Andrews]], [[George Alfred Barnard|George A. Barnard]], [[David Berlinski]], [[William Boone (mathematician)|William W. Boone]], [[Martin Davis]], [[Alfred L. Foster]], [[Leon Henkin]], [[John G. Kemeny]], [[Stephen Cole Kleene|Stephen C. Kleene]], [[Simon Kochen|Simon B. Kochen]], [[Maurice L’Abbé]], [[Isaac Malitz]], [[Gary R. Mar]], [[Michael O. Rabin]], [[Nicholas Rescher]], [[Hartley Rogers|Hartley Rogers, Jr.]], [[J. Barkley Rosser]], [[Dana Scott]], [[Raymond Smullyan]] und [[Alan Turing]].<ref>{{Cite web |url=http://genealogy.math.ndsu.nodak.edu/id.php?id=8011 | title=Mathematics Genealogy Project |language=en | access-date=2010-08-12| archive-url= https://web.archive.org/web/20100804125134/http://www.genealogy.math.ndsu.nodak.edu/id.php?id=8011| archive-date= 2010-08-04 | url-status= live}}</ref><br />
<br />
== Werk ==<br />
Bei seinen mathematisch-logischen Fachkollegen wurde er in den 1930er Jahren bekannt mit einem universellen formalen Modell für Berechnungen, dem [[Lambda-Kalkül]], den er im Rahmen seiner Forschungen zu den [[Grundlagen der Mathematik]] und den [[Gödelscher Unvollständigkeitssatz|Gödelschen Unvollständigkeitssätzen]] entwickelte. Daten und Operatoren werden durch die [[Church-Kodierung]] in den Lambda-Kalkül eingebettet, natürliche Zahlen durch [[Church-Numerale]] repräsentiert. Church demonstrierte 1936,<ref>Alonzo Church: „An unsolvable Problem of Elementary Number Theory“, American Journal of Mathematics, Band 58, Nr. 2, April 1936, S. 345–363.</ref> dass es für zwei gegebene Ausdrücke im Lambda-Kalkül keine [[Berechenbarkeit|berechenbare]] Funktion gibt, um zu entscheiden, ob sie äquivalent sind oder nicht, also mit zahlentheoretischen Mitteln unentscheidbare Probleme (Church-Theorem); zwei einander äquivalente Ausdrücke sind ineinander zu überführen oder zu reduzieren auf die gleiche Normalform ([[Satz von Church-Rosser|Church-Rosser-Theorem]]). Dies regte Überlegungen seines Studenten [[Alan Turing]] zum [[Halteproblem]] einer Rechenoperationen ausführenden Maschine an. Church und Turing fanden dann heraus, dass der Lambda-Kalkül und die [[Turingmaschine]] hinsichtlich des [[Entscheidungsproblem]]s ebenbürtige Modelle sind; ein hiervon abgeleiteter Berechenbarkeitsbegriff ist als [[Church-Turing-These]] bekannt.<br />
<br />
Im Bereich Philosophie ist er durch seine auf hohem Argumentationsniveau verteidigte [[Platonismus|platonische]] Position im modernen [[Universalienstreit]] bekannt geworden.<ref>[[Joseph Maria Bocheński]], Alonso Church, [[Nelson Goodman]]: ''The Problem of Universals. A Symposium'', Notre Dame, Ind., 1956, 33-57</ref><br />
<br />
== Schriften ==<br />
* ''Introduction to Mathematical Logic'', ISBN 978-0-691-02906-1<br />
* ''The Calculi of Lambda-Conversion'', ISBN 978-0-691-08394-0<br />
* ''A Bibliography of Symbolic Logic, 1666–1935'', ISBN 978-0-8218-0084-3<br />
<br />
== Literatur ==<br />
* C. Anthony Anderson, Michael Zelëny (Hrsg.): ''Logic, Meaning and Computation: Essays in Memory of Alonzo Church'', Synthese Library, Bd. 305, 2002, ISBN 978-1-4020-0141-3<br />
<br />
== Weblinks ==<br />
* {{MacTutor|id=Church}}<br />
<br />
== Einzelnachweise ==<br />
<references /><br />
<br />
{{Normdaten|TYP=p|GND=119430223|LCCN=n83152979|VIAF=109830754}}<br />
<br />
{{SORTIERUNG:Church, Alonzo}}<br />
[[Kategorie:Mathematischer Logiker (20. Jahrhundert)]]<br />
[[Kategorie:Informatiker]]<br />
[[Kategorie:Hochschullehrer (University of California, Los Angeles)]]<br />
[[Kategorie:Hochschullehrer (Princeton University)]]<br />
[[Kategorie:Mitglied der American Academy of Arts and Sciences]]<br />
[[Kategorie:Mitglied der National Academy of Sciences]]<br />
[[Kategorie:Mitglied der British Academy]]<br />
[[Kategorie:US-Amerikaner]]<br />
[[Kategorie:Geboren 1903]]<br />
[[Kategorie:Gestorben 1995]]<br />
[[Kategorie:Mann]]<br />
<br />
{{Personendaten<br />
|NAME=Church, Alonzo<br />
|ALTERNATIVNAMEN=<br />
|KURZBESCHREIBUNG=US-amerikanischer Mathematiker und einer der Begründer der theoretischen Informatik<br />
|GEBURTSDATUM=14. Juni 1903<br />
|GEBURTSORT=[[Washington, D.C.]]<br />
|STERBEDATUM=11. August 1995<br />
|STERBEORT=[[Hudson (Ohio)]]<br />
}}</div>imported>Eriosw