22 Beziehungen: Ackermannfunktion, Albert Thoralf Skolem, Arnold Oberschelp, Berechenbarkeit, Berechenbarkeitstheorie, Explikation, Fleißiger Biber, Hans Hermes, Heinz-Dieter Ebbinghaus, Μ-Rekursion, LOOP-Programm, Peter Schroeder-Heister, Rózsa Péter, Rekursion, Richard Dedekind, Springer Vieweg, Sudanfunktion, Tarskis Undefinierbarkeitssatz, Theoretische Informatik, Turingmaschine, Wiesbaden, Wolfgang Rautenberg.
Ackermannfunktion
Die Ackermannfunktion ist eine 1926 von Wilhelm Ackermann gefundene, extrem schnell wachsende mathematische Funktion, mit deren Hilfe in der theoretischen Informatik Grenzen von Computer- und Berechnungsmodellen aufgezeigt werden können.
Neu!!: Primitiv-rekursive Funktion und Ackermannfunktion · Mehr sehen »
Albert Thoralf Skolem
Albert Thoralf Skolem (1930er Jahre) Albert Thoralf Skolem (* 23. Mai 1887 in Sandsvaer; † 23. März 1963 in Oslo) war ein norwegischer Mathematiker, Logiker und Philosoph.
Neu!!: Primitiv-rekursive Funktion und Albert Thoralf Skolem · Mehr sehen »
Arnold Oberschelp
Arnold Oberschelp (* 5. Februar 1932 in Recklinghausen) ist ein deutscher Mathematiker und Logiker und war lange Jahre Professor für Logik und Wissenschaftslehre in Kiel.
Neu!!: Primitiv-rekursive Funktion und Arnold Oberschelp · 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!!: Primitiv-rekursive Funktion und Berechenbarkeit · Mehr sehen »
Berechenbarkeitstheorie
Die Berechenbarkeitstheorie (auch Rekursionstheorie) ist ein Teilgebiet der theoretischen Informatik und der mathematischen Logik, die sich mit dem Begriff der Berechenbarkeit befasst, insbesondere damit, welche Probleme mit Hilfe einer Maschine (genauer: eines mathematischen Modells einer Maschine) oder eines anderen mathematischen Modells der Berechenbarkeit lösbar sind.
Neu!!: Primitiv-rekursive Funktion und Berechenbarkeitstheorie · Mehr sehen »
Explikation
Explikation (von ‚Auseinandersetzung, Entwirrung, Erläuterung, Entfaltung, Ausdrücklichmachung‘) bezeichnet allgemein die Erklärung, Erläuterung, insbesondere die Erklärung eines Begriffes durch Darstellung seiner Merkmale, spezifisch nach Carnap und folgend in Philosophie, einschließlich Logik die Präzisierung eines unscharfen Begriffs und in der mathematischen Logik auch die Begriffsbestimmung von Symbolen, konventionellen Bezeichnungen u. a.
Neu!!: Primitiv-rekursive Funktion und Explikation · Mehr sehen »
Fleißiger Biber
Fleißige Biber (auch) sind spezielle Turingmaschinen, die möglichst viele Einsen auf das Band schreiben und die nach einer endlichen Anzahl Rechenschritte den Halt-Zustand einnehmen (also anhalten).
Neu!!: Primitiv-rekursive Funktion und Fleißiger Biber · 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!!: Primitiv-rekursive Funktion und Hans Hermes · Mehr sehen »
Heinz-Dieter Ebbinghaus
Heinz-Dieter Ebbinghaus (* 22. Februar 1939 in Hemer, Westfalen) ist ein deutscher Mathematiker, der vor allem zur mathematischen Logik arbeitet.
Neu!!: Primitiv-rekursive Funktion und Heinz-Dieter Ebbinghaus · 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!!: Primitiv-rekursive Funktion und Μ-Rekursion · 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!!: Primitiv-rekursive Funktion und LOOP-Programm · Mehr sehen »
Peter Schroeder-Heister
Peter Schroeder-Heister (* 2. März 1953 in Düren) ist ein deutscher Logiker.
Neu!!: Primitiv-rekursive Funktion und Peter Schroeder-Heister · Mehr sehen »
Rózsa Péter
Rózsa Péter Rózsa Péter (geborene Politzer; * 17. Februar 1905 in Budapest, Österreich-Ungarn; † 16. Februar 1977 in Budapest) war eine ungarische Mathematikerin und Logikerin.
Neu!!: Primitiv-rekursive Funktion und Rózsa Péter · Mehr sehen »
Rekursion
Unendlichfache Spiegelung als Beispiel für '''Rekursion''': Die Person sitzt mit vorgehaltenem Spiegel einem größeren Wandspiegel gegenüber. Das jeweils folgende Spiegelbild enthält sich selbst als Teil. Als Rekursion wird ein prinzipiell unendlicher Vorgang, der sich selbst als Teil enthält oder mithilfe von sich selbst definierbar ist, bezeichnet.
Neu!!: Primitiv-rekursive Funktion und Rekursion · Mehr sehen »
Richard Dedekind
Porträt (1870) Julius Wilhelm Richard Dedekind (* 6. Oktober 1831 in Braunschweig; † 12. Februar 1916 ebenda) war ein deutscher Mathematiker.
Neu!!: Primitiv-rekursive Funktion und Richard Dedekind · Mehr sehen »
Springer Vieweg
Springer Vieweg ist ein Verlag für klassische und digitale Lehr- und Fachmedien im Bereich Technik mit Sitz in Wiesbaden.
Neu!!: Primitiv-rekursive Funktion und Springer Vieweg · Mehr sehen »
Sudanfunktion
Die Sudanfunktion ist eine rekursive berechenbare Funktion, die total μ-rekursiv, jedoch nicht primitiv rekursiv ist, was sie mit der bekannteren Ackermannfunktion gemeinsam hat.
Neu!!: Primitiv-rekursive Funktion und Sudanfunktion · Mehr sehen »
Tarskis Undefinierbarkeitssatz
Der Satz von Tarski über die Undefinierbarkeit der Wahrheit ist ein einschränkendes Ergebnis in der mathematischen Logik, das auf Alfred Tarski (1936) zurückgeht.
Neu!!: Primitiv-rekursive Funktion und Tarskis Undefinierbarkeitssatz · 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!!: Primitiv-rekursive Funktion und Theoretische Informatik · Mehr sehen »
Turingmaschine
Eine Turingmaschine ist ein mathematisches Modell der theoretischen Informatik, das eine abstrakte Maschine definiert.
Neu!!: Primitiv-rekursive Funktion und Turingmaschine · Mehr sehen »
Wiesbaden
Wiesbaden ist die Landeshauptstadt des Landes Hessen und mit ihren 15 Thermal- und Mineralquellen eines der ältesten Kurbäder Europas.
Neu!!: Primitiv-rekursive Funktion und Wiesbaden · Mehr sehen »
Wolfgang Rautenberg
Wolfgang Rautenberg Wolfgang Rautenberg (* 27. Februar 1936 in Potsdam;Kürschners Deutscher Gelehrten-Kalender. 14. Ausgabe. De Gruyter, Berlin / New York 1983, Band 3, S. 3298. † 4. September 2011 in Berlin) war ein deutscher Mathematiker und Logiker.
Neu!!: Primitiv-rekursive Funktion und Wolfgang Rautenberg · Mehr sehen »
Leitet hier um:
Primitiv rekursive Arithmetik, Primitive Rekursion.