Schneller Zugriff als Browser!
40 Beziehungen: Alan Turing, Berechenbarkeit, Church-Kodierung, Church-Turing-These, Dana Scott, David Berlinski, Entscheidbar, Gödelscher Unvollständigkeitssatz, Georg-August-Universität Göttingen, Grundlagen der Mathematik, Halteproblem, Hartley Rogers, Hudson (Ohio), John Barkley Rosser, John G. Kemeny, Joseph Maria Bocheński, Lambda-Kalkül, Leon Henkin, Martin Davis, Mathematik, Michael O. Rabin, Nelson Goodman, Nicholas Rescher, Ohio, Platonismus, Princeton University, Raymond Smullyan, Satz von Church-Rosser, Simon Kochen, Stephen Cole Kleene, Theoretische Informatik, Turingmaschine, Universalienproblem, University of California, Los Angeles, University of Chicago, Washington, D.C., 11. August, 14. Juni, 1903, 1995.
Alan Turing
Alan Turing (ca. 1938)Andrew Hodges: ''http://www.turing.org.uk/scrapbook/ww2.html The Alan Turing Internet Scrapbook.'' In: ''turing.org'', (englisch), abgerufen am 19. August 2017. Seine Unterschrift Alan Mathison Turing OBE, FRS (* 23. Juni 1912 in London; † 7. Juni 1954 in Wilmslow, Cheshire) war ein britischer Logiker, Mathematiker, Kryptoanalytiker und Informatiker.
Neu!!: Alonzo Church und Alan Turing · Mehr sehen »
Berechenbarkeit
Eine mathematische Funktion ist berechenbar (auch effektiv berechenbar oder rekursiv), wenn für sie eine Berechnungsanweisung (Algorithmus) formuliert werden kann (Berechenbarkeitstheorie).
Neu!!: Alonzo Church und Berechenbarkeit · Mehr sehen »
Church-Kodierung
Unter Church-Kodierung versteht man die Einbettung von Daten und Operatoren in den Lambda-Kalkül.
Neu!!: Alonzo Church und Church-Kodierung · Mehr sehen »
Church-Turing-These
Die Church-Turing-These (benannt nach Alonzo Church und Alan Turing, auch Churchsche These genannt) trifft Aussagen über die Fähigkeiten einer Rechenmaschine.
Neu!!: Alonzo Church und Church-Turing-These · Mehr sehen »
Dana Scott
Dana S. Scott Dana Stewart Scott (* 11. Oktober 1932 in Berkeley, Kalifornien) ist ein US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph, der bedeutende Beiträge zur Automatentheorie, Modelltheorie, axiomatischen Mengenlehre und Semantik der Programmiersprachen geleistet hat.
Neu!!: Alonzo Church und Dana Scott · Mehr sehen »
David Berlinski
David Berlinski (* 5. Februar 1942 in New York City) ist ein US-amerikanischer Mathematiker.
Neu!!: Alonzo Church und David Berlinski · Mehr sehen »
Entscheidbar
In der theoretischen Informatik heißt eine Eigenschaft auf einer Menge entscheidbar (auch rekursiv, rekursiv ableitbar), wenn es ein Entscheidungsverfahren für sie gibt.
Neu!!: Alonzo Church und Entscheidbar · Mehr sehen »
Gödelscher Unvollständigkeitssatz
Der Gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik.
Neu!!: Alonzo Church und Gödelscher Unvollständigkeitssatz · Mehr sehen »
Georg-August-Universität Göttingen
Siegel der Universität alte Auditorium Neubau der Niedersächsischen Staats- und Universitätsbibliothek Die Georg-August-Universität (lateinisch Georgia Augusta) in Göttingen wurde 1732/1734 von Georg II. aus dem Haus Hannover unter Federführung von Gerlach Adolph von Münchhausen gegründet und 1737 eingeweiht.
Neu!!: Alonzo Church und Georg-August-Universität Göttingen · Mehr sehen »
Grundlagen der Mathematik
Die Grundlagen der Mathematik sind einerseits Teil der Mathematik, andererseits bilden sie einen wichtigen Gegenstand erkenntnistheoretischer Reflexion, wenn diese sich mit den allgemeinen Grundlagen der menschlichen Erkenntnisgewinnung befasst.
Neu!!: Alonzo Church und Grundlagen der Mathematik · Mehr sehen »
Halteproblem
Das Halteproblem beschreibt eine Frage aus der theoretischen Informatik.
Neu!!: Alonzo Church und Halteproblem · Mehr sehen »
Hartley Rogers
Hartley Rogers Junior (* 6. Juli 1926 in Buffalo, New York; † 17. Juli 2015 in Waltham, Massachusetts) war ein US-amerikanischer Mathematiker, der sich mit mathematischer Logik (Theorie der Berechenbarkeit, Rekursionstheorie, Komplexitätstheorie), Mathematikpädagogik und Wahrscheinlichkeitstheorie befasste.
Neu!!: Alonzo Church und Hartley Rogers · Mehr sehen »
Hudson (Ohio)
Hudson ist eine US-amerikanische Kleinstadt, ca.
Neu!!: Alonzo Church und Hudson (Ohio) · Mehr sehen »
John Barkley Rosser
John Barkley Rosser Sr. (* 6. Dezember 1907 in Jacksonville, Florida; † 5. September 1989 in Madison, Wisconsin) war US-amerikanischer Logiker und Mathematiker.
Neu!!: Alonzo Church und John Barkley Rosser · Mehr sehen »
John G. Kemeny
Gedenktafel an Keménys früherem Wohnhaus in Budapest John George Kemeny (ungar. Kemény János György, * 31. Mai 1926 in Budapest; † 26. Dezember 1992 in Etna, New Hampshire) war ein in Ungarn geborener US-amerikanischer Mathematiker.
Neu!!: Alonzo Church und John G. Kemeny · Mehr sehen »
Joseph Maria Bocheński
Joseph Maria Bocheński, 1991 Joseph Maria Franciszek Emanuel Bocheński OP (* 30. August 1902 in Czuszów (bei Miechów), Polen; † 8. Februar 1995 in Freiburg, Schweiz), meist kurz J. M. Bocheński, auch Innocentius Marie und Innocent M. Bochenski, war ein polnischer Philosoph und Logiker.
Neu!!: Alonzo Church und Joseph Maria Bocheński · Mehr sehen »
Lambda-Kalkül
griechischen Alphabets, benutzt. Der Lambda-Kalkül ist eine formale Sprache zur Untersuchung von Funktionen.
Neu!!: Alonzo Church und Lambda-Kalkül · Mehr sehen »
Leon Henkin
Leon Henkin, Berkeley 1990 Leon Albert Henkin (* 19. April 1921 in Brooklyn; † 1. November 2006 in Oakland) war ein US-amerikanischer Logiker.
Neu!!: Alonzo Church und Leon Henkin · Mehr sehen »
Martin Davis
Martin Davis, vor 2010 Martin Davis (* 8. März 1928 in New York City; † 1. Januar 2023) war ein US-amerikanischer Logiker und theoretischer Informatiker.
Neu!!: Alonzo Church und Martin Davis · Mehr sehen »
Mathematik
Die Mathematik (bundesdeutsches Hochdeutsch:,; österreichisches Hochdeutsch:; mathēmatikē téchnē ‚die Kunst des Lernens‘) ist eine Formalwissenschaft, die aus der Untersuchung von geometrischen Figuren und dem Rechnen mit Zahlen entstand.
Neu!!: Alonzo Church und Mathematik · Mehr sehen »
Michael O. Rabin
Michael O. Rabin Michael Oser Rabin (* 1. September 1931 in Breslau) ist ein israelischer Informatiker.
Neu!!: Alonzo Church und Michael O. Rabin · Mehr sehen »
Nelson Goodman
Nelson Goodman (* 7. August 1906 in Somerville, Massachusetts; † 25. November 1998 in Needham, Massachusetts) war ein US-amerikanischer Philosoph.
Neu!!: Alonzo Church und Nelson Goodman · Mehr sehen »
Nicholas Rescher
Nicholas Rescher Nicholas Rescher (* 15. Juli 1928 in Hagen) ist ein US-amerikanischer Philosoph deutscher Abstammung.
Neu!!: Alonzo Church und Nicholas Rescher · Mehr sehen »
Ohio
Ohio (englisch Aussprache) ist ein Bundesstaat im Mittleren Westen der USA.
Neu!!: Alonzo Church und Ohio · Mehr sehen »
Platonismus
Platonismus und Platoniker (Anhänger des Platonismus) sind Begriffe, die in verschiedenen Bedeutungen verwendet werden.
Neu!!: Alonzo Church und Platonismus · Mehr sehen »
Princeton University
Die ''Nassau Hall'', ältestes Gebäude auf dem Campus (1756) Die Blair Hall (1896) Das Konzerthaus der Universität, die ''Alexander Hall'' (1894) Die ''Firestone Library'' (1948) Carl C. Icahn Laboratory'' (2005; Die großen Lamellen dienen der Beschattung, sie folgen dem Stand der Sonne) Die Princeton University ist eine in der Stadt Princeton im US-Bundesstaat New Jersey gelegene Privatuniversität.
Neu!!: Alonzo Church und Princeton University · Mehr sehen »
Raymond Smullyan
Raymond Smullyan (2008) Raymond Merrill Smullyan (* 25. Mai 1919 in Far Rockaway, Queens, New York City; † 6. Februar 2017 in New York City) war ein US-amerikanischer Mathematiker und Logiker, der vor allem durch seine populärwissenschaftlichen Bücher mit logischen Rätseln und philosophischen Geschichten bekannt wurde.
Neu!!: Alonzo Church und Raymond Smullyan · Mehr sehen »
Satz von Church-Rosser
Das Church-Rosser-Theorem (bewiesen im Jahr 1936 von Alonzo Church und John Barkley Rosser) ist ein wichtiges Resultat aus der Theorie des Lambda-Kalküls.
Neu!!: Alonzo Church und Satz von Church-Rosser · Mehr sehen »
Simon Kochen
Simon Bernhard Kochen (* 14. August 1934 in Antwerpen) ist ein US-amerikanischer Mathematiker, der sich mit Zahlentheorie, Logik (Modelltheorie) und Quantenmechanik beschäftigt.
Neu!!: Alonzo Church und Simon Kochen · Mehr sehen »
Stephen Cole Kleene
Kleene 1978 Stephen Cole Kleene (* 5. Januar 1909 in Hartford, Connecticut; † 25. Januar 1994 in Madison, Wisconsin) war ein US-amerikanischer Mathematiker und Logiker.
Neu!!: Alonzo Church und Stephen Cole Kleene · Mehr sehen »
Theoretische Informatik
Mind-Map zu einem Teilbereich der theoretischen Informatik Die theoretische Informatik beschäftigt sich mit der Abstraktion, Modellbildung und grundlegenden Fragestellungen, die mit der Struktur, Verarbeitung, Übertragung und Wiedergabe von Informationen in Zusammenhang stehen.
Neu!!: Alonzo Church und Theoretische Informatik · Mehr sehen »
Turingmaschine
Eine Turingmaschine ist ein mathematisches Modell der theoretischen Informatik, das eine abstrakte Maschine definiert.
Neu!!: Alonzo Church und Turingmaschine · Mehr sehen »
Universalienproblem
Das Universalienproblem (auch Universalienstreit, Universalienfrage, Nominalismusstreit, selten auch Realienstreit) ist eines der zentralen Themen der Philosophie und betrifft die Frage, ob es ein Allgemeines wirklich gibt oder ob Allgemeinbegriffe menschliche Konstruktionen sind.
Neu!!: Alonzo Church und Universalienproblem · Mehr sehen »
University of California, Los Angeles
Kathedrale von Sant’Ambrogio in Mailand, Italien UCLA Powell Library Die University of California, Los Angeles (UCLA) wurde 1919 gegründet und ist der drittälteste Campus der University of California.
Neu!!: Alonzo Church und University of California, Los Angeles · Mehr sehen »
University of Chicago
University of Chicago Joseph-Regenstein-Bibliothek Tor der University of Chicago University of Chicago Midway Plaisance Halle der Graduate School of Business Hallendach der Graduate School of Business Robie House im Stil der Prairie-Schule von Frank Lloyd Wright Die Universität Chicago ist eine private Universität in den USA.
Neu!!: Alonzo Church und University of Chicago · Mehr sehen »
Washington, D.C.
Der District of Columbia oder Washington, D.C. ist Bundesdistrikt, Regierungssitz und seit 1801 die Hauptstadt der Vereinigten Staaten.
Neu!!: Alonzo Church und Washington, D.C. · Mehr sehen »
11. August
Der 11.
Neu!!: Alonzo Church und 11. August · Mehr sehen »
14. Juni
Der 14.
Neu!!: Alonzo Church und 14. Juni · Mehr sehen »
1903
Keine Beschreibung.
Neu!!: Alonzo Church und 1903 · Mehr sehen »
1995
Keine Beschreibung.
Neu!!: Alonzo Church und 1995 · Mehr sehen »
