Theorie

Der Prüfer der Enigma

Geschrieben am 31.05.2019 von

Vor hundert Jahren, am 1. Juni 1919, wurde in Hildesheim Gisbert Hasenjaeger geboren. Im Krieg arbeitete er in der Chiffrierabteilung des Oberkommandos der Wehrmacht. Danach studierte er in Münster und promovierte im Fach Mathematik; ab 1962 lehrte er an der Universität Bonn mathematische Logik. Er baute auch funktionsfähige Turing-Maschinen. Gisbert Hasenjaeger starb 2006 in Plettenberg….

Weiterlesen

Primzahl, wo bist Du?

Geschrieben am 16.02.2016 von

Seit nunmehr 20 Jahren hält die Große Internet-Mersenne-Primzahlensuche oder GIMPS Ausschau nach möglichst großen Zahlen, die sich nur durch 1 und sich selbst teilen lassen. Kürzlich fanden ein Teilnehmer des Projekts und sein Computer eine neue Spitzenreiterin, eine Zahl mit 22.338.618 Ziffern. Aber Primzahlen ergeben auch schöne Muster, wenn man sie in eine Spirale setzt….

Weiterlesen

Vom Imitationsspiel zum Lovelace-Test

Geschrieben am 18.09.2015 von

Wie lässt sich zeigen, dass ein Computer bzw. ein Computerprogramm Intelligenz besitzt oder denken kann? 1950 beschrieb der englische Mathematiker, Kryptologe und Computerpionier Alan Turing einen möglichen Nachweis, das Imitationsspiel. Seitdem diskutieren Forscher den „Turing-Test“ und wandten ihn auch schon auf reale Software an. 2001 wurde ein neues Kriterium für maschinelles Denken vorgeschlagen: der Lovelace-Test….

Weiterlesen

Denk, Maschine !

Geschrieben am 10.07.2015 von

Die Künstliche Intelligenz ist das Gebiet der Informatik, das nach Hard- und Software sucht, die Computern geistige Fähigkeiten verleihen. In den 1950er Jahren wählte der deutsche Philosoph Gotthard Günther einen ungewöhnlichen Weg, um seine Ideen auf jenem Feld zu verbreiten: Er schrieb Artikel für Science-Fiction-Magazine. Fand er eine Technik, um Computer zum Denken zu bringen?  …

Weiterlesen

Vier Farben reichen

Geschrieben am 03.07.2015 von

Computer haben sich öfter verrechnete, wegen Fehlern in der Software oder weil ein falsch programmierter Algorithmus im Prozessor Unsinn erzeugte. Dürfen wir also einem Computer trauen, der ein mathematisches Rätsel löste? Die Frage quält Informatiker und Mathematiker seit 1978, als ein Rechner des Typs IBM 370 das berühmte Vierfarbenproblem knackte, was zuvor keinem Menschen gelang….

Weiterlesen

Ist doch logisch !

Geschrieben am 26.06.2015 von

Denkmaschinen nannten viele in den 1950er Jahren die neuen Computer, doch schon 1910 stand das Wort in einem Lexikon, das der Schriftsteller Fritz Mauthner verfasst hatte. Er meinte damit natürlich keine Computer, sondern Apparate, die logische Schlüsse ziehen konnten, wie „Nachts sind alle Katzen grau, alle Tiger sind Katzen, also sind nachts alle Tiger grau“….

Weiterlesen

Wenn Roboter Kinder kriegen

Geschrieben am 18.05.2015 von

Die Vorläuferin der Informatik war die Kybernetik, die in den 1950er und 1960er Jahren blühte. Sie befasste sich mit Computern und ihrer Theorie, aber ebenso mit den Parallelen zwischen lebendigen Wesen und Maschinen. Dabei träumten manche Forscher von Automaten, die sich selbst nachbauen. Diese Idee inspirierte die Science-Fiction wie auch den Computerpionier Konrad Zuse. 1948…

Weiterlesen