Wir gehen der Frage nach, wie ein Computer eigentlich ?denkt?. Und hierbei wird uns Logik helfen. In der Logik wird nicht mit Zahlen gerechnet, sondern mit Wahr und Falsch. Das Rechnen selbst funktioniert ähnlich wie mit Plus, Minus und Mal. Damit können wir auf einfache Weise beschreiben, wie ein Computer rechnet und ?denkt?, das heißt wie ein Computer von bekanntem Wissen neue Fakten ableitet. Wir werden verschiedene Rätsel so in die Sprache der Logik übersetzen, dass sie ein Computer für uns lösen kann.
Forschungs-