33 Beziehungen: Alan Turing, Algorithmus, Alonzo Church, Automat (Informatik), Berechenbarkeit, Computer, Dirk Hoffmann, Douglas R. Hofstadter, Faktorisierungsverfahren, Falsifikation, Funktion (Mathematik), Gödel, Escher, Bach, Gödelscher Unvollständigkeitssatz, GOTO-Programm, Halteproblem, Hans Hermes, Informatik, Μ-Rekursion, Klasse (Mengenlehre), Lambda-Kalkül, LOOP-Programm, Markow-Algorithmus, Philosophie des Geistes, Programmiersprache, Quantencomputer, Quelltext, Registermaschine, Shor-Algorithmus, Speicherkapazität, These, Turing-Vollständigkeit, Turingmaschine, WHILE-Programm.
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!!: Church-Turing-These und Alan Turing · Mehr sehen »
Algorithmus
sowjetischen Briefmarke anlässlich seines 1200-jährigen Geburtsjubiläums Ein Algorithmus (benannt nach al-Chwarizmi, von arabisch: Choresmier) ist eine eindeutige Handlungsvorschrift zur Lösung eines Problems oder einer Klasse von Problemen.
Neu!!: Church-Turing-These und Algorithmus · Mehr sehen »
Alonzo Church
Alonzo Church (* 14. Juni 1903 in Washington, D.C.; † 11. August 1995 in Hudson, Ohio) war ein US-amerikanischer Mathematiker, Logiker und Philosoph und einer der Begründer der theoretischen Informatik.
Neu!!: Church-Turing-These und Alonzo Church · Mehr sehen »
Automat (Informatik)
Ein Automat oder eine abstrakte Maschine ist in der Informatik, speziell in der Automatentheorie, das Modell eines digitalen, zeitdiskreten Rechners.
Neu!!: Church-Turing-These und Automat (Informatik) · 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!!: Church-Turing-These und Berechenbarkeit · Mehr sehen »
Computer
Ein Computer (englisch; deutsche Aussprache) oder Rechner ist ein Gerät, das mittels programmierbarer Rechenvorschriften Daten verarbeitet.
Neu!!: Church-Turing-These und Computer · Mehr sehen »
Dirk Hoffmann
Dirk Hoffmann Dirk W. Hoffmann (* 1972 in Frankenthal) ist ein deutscher Informatiker.
Neu!!: Church-Turing-These und Dirk Hoffmann · Mehr sehen »
Douglas R. Hofstadter
Stanford) Douglas Richard Hofstadter (* 15. Februar 1945 in New York City) ist ein US-amerikanischer Physiker, Informatiker und Kognitionswissenschaftler.
Neu!!: Church-Turing-These und Douglas R. Hofstadter · Mehr sehen »
Faktorisierungsverfahren
Das Faktorisierungsproblem für ganze Zahlen ist eine Aufgabenstellung aus dem mathematischen Teilgebiet der Zahlentheorie.
Neu!!: Church-Turing-These und Faktorisierungsverfahren · Mehr sehen »
Falsifikation
Falsifikation, auch Falsifizierung (von lat. falsificare „als falsch erkennen“) oder Widerlegung, ist der Nachweis der Ungültigkeit einer Aussage, Methode, These, Hypothese oder Theorie.
Neu!!: Church-Turing-These und Falsifikation · Mehr sehen »
Funktion (Mathematik)
In der Mathematik ist eine Funktion oder Abbildung eine Beziehung (Relation) zwischen zwei Mengen, die jedem Element der einen Menge (Funktionsargument, unabhängige Variable, x-Wert) genau ein Element der anderen Menge (Funktionswert, abhängige Variable, y-Wert) zuordnet.
Neu!!: Church-Turing-These und Funktion (Mathematik) · Mehr sehen »
Gödel, Escher, Bach
Gödel, Escher, Bach – ein Endloses Geflochtenes Band, kurz GEB, ist ein Buch von Douglas R. Hofstadter aus dem Jahr 1979, die deutsche Übersetzung erschien 1985.
Neu!!: Church-Turing-These und Gödel, Escher, Bach · Mehr sehen »
Gödelscher Unvollständigkeitssatz
Der Gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik.
Neu!!: Church-Turing-These und Gödelscher Unvollständigkeitssatz · Mehr sehen »
GOTO-Programm
GOTO-Programme sind spezielle Programme mit einer sehr einfachen Syntax.
Neu!!: Church-Turing-These und GOTO-Programm · Mehr sehen »
Halteproblem
Das Halteproblem beschreibt eine Frage aus der theoretischen Informatik.
Neu!!: Church-Turing-These und Halteproblem · Mehr sehen »
Hans Hermes
Mathematischen Forschungsinstitut Oberwolfach 1970 Hans Hermes (* 12. Februar 1912 in Neunkirchen (Saar); † 10. November 2003 in Freiburg im Breisgau) war ein deutscher Mathematiker, der bedeutende Beiträge zu den Grundlagen der mathematischen Logik geleistet hat.
Neu!!: Church-Turing-These und Hans Hermes · Mehr sehen »
Informatik
Lambda lc.svg Sorting quicksort anim frame.svg Utah teapot simple 2.png 3-Tasten-Maus Microsoft.jpg Bei der Informatik handelt es sich um die Wissenschaft von der systematischen Darstellung, Speicherung, Verarbeitung und Übertragung von Daten, wobei besonders die automatische Verarbeitung mit Computern betrachtet wird.
Neu!!: Church-Turing-These und Informatik · Mehr sehen »
Μ-Rekursion
Die Klasse Pr der μ-rekursiven Funktionen oder partiell-rekursiven Funktionen spielt in der Rekursionstheorie, einem Teilgebiet der theoretischen Informatik, eine wichtige Rolle (µ für ‚das kleinste‘).
Neu!!: Church-Turing-These und Μ-Rekursion · Mehr sehen »
Klasse (Mengenlehre)
Als Klasse gilt in der Mathematik, Klassenlogik und Mengenlehre eine Zusammenfassung beliebiger Objekte, definiert durch eine logische Eigenschaft, die alle Objekte der Klasse erfüllen.
Neu!!: Church-Turing-These und Klasse (Mengenlehre) · Mehr sehen »
Lambda-Kalkül
griechischen Alphabets, benutzt. Der Lambda-Kalkül ist eine formale Sprache zur Untersuchung von Funktionen.
Neu!!: Church-Turing-These und Lambda-Kalkül · Mehr sehen »
LOOP-Programm
LOOP-Programme sind Programme in der Programmiersprache LOOP, einer stark eingeschränkten, modellhaften Sprache, die nur die Formulierung von Additionen, Wertzuweisungen und endlich oft durchlaufende Schleifen erlaubt.
Neu!!: Church-Turing-These und LOOP-Programm · Mehr sehen »
Markow-Algorithmus
Der vom russischen Mathematiker Andrei Markow entwickelte Konzept des Markow-Algorithmus stellt einen wichtigen Ansatz zur Formalisierung des Algorithmusbegriffs dar.
Neu!!: Church-Turing-These und Markow-Algorithmus · Mehr sehen »
Philosophie des Geistes
Die Philosophie des Geistes ist ein Teilgebiet der Philosophie, das sich mit der Natur mentaler Zustände, ihren Wirkungen und Ursachen beschäftigt.
Neu!!: Church-Turing-These und Philosophie des Geistes · Mehr sehen »
Programmiersprache
Quelltext eines Programms in der Programmiersprache C++. Scratch. Eine Programmiersprache ist eine formale Sprache zur Formulierung von Datenstrukturen und Algorithmen, d. h.
Neu!!: Church-Turing-These und Programmiersprache · Mehr sehen »
Quantencomputer
Ein Quantenprozessor bzw.
Neu!!: Church-Turing-These und Quantencomputer · Mehr sehen »
Quelltext
siehe eigene Artikel. Quelltext, auch Quellcode oder unscharf Programmcode genannt, ist in der Informatik der für Menschen lesbare, in einer Programmiersprache geschriebene Text eines Computerprogrammes.
Neu!!: Church-Turing-These und Quelltext · Mehr sehen »
Registermaschine
Die Registermaschine (RM) ist eine abstrakte Maschine der theoretischen Informatik.
Neu!!: Church-Turing-These und Registermaschine · Mehr sehen »
Shor-Algorithmus
Der Shor-Algorithmus ist ein Algorithmus aus dem mathematischen Teilgebiet der Restklassenringe innerhalb der Zahlentheorie, der Mittel der Quanteninformatik benutzt.
Neu!!: Church-Turing-These und Shor-Algorithmus · Mehr sehen »
Speicherkapazität
Die Speicherkapazität bezeichnet die maximale Datenmenge, die in einer Datenstruktur oder in einem Datenspeicher gespeichert werden kann.
Neu!!: Church-Turing-These und Speicherkapazität · Mehr sehen »
These
Die These (von) bezeichnet eine zu beweisende Behauptung oder einen Leitsatz.
Neu!!: Church-Turing-These und These · Mehr sehen »
Turing-Vollständigkeit
Mit Turing-Vollständigkeit (engl. turing completeness) eines Systems wird seine universelle Programmierbarkeit beschrieben.
Neu!!: Church-Turing-These und Turing-Vollständigkeit · Mehr sehen »
Turingmaschine
Eine Turingmaschine ist ein mathematisches Modell der theoretischen Informatik, das eine abstrakte Maschine definiert.
Neu!!: Church-Turing-These und Turingmaschine · Mehr sehen »
WHILE-Programm
WHILE-Programme spielen in der Theoretischen Informatik eine Rolle, insbesondere in Zusammenhang mit Berechenbarkeit.
Neu!!: Church-Turing-These und WHILE-Programm · Mehr sehen »
Leitet hier um:
Church'sche These, Church-Turing-Hypothese, Churchsche These, These von Church.