
Wenn Sherlock Holmes einen Tatort analysiert und nur aufgrund der Fakten den wahren Täter ermittelt, meistert er die Kunst der Deduktion, der richtigen Schlussfolgerung. Seit den Anfängen der Informatik bringen Computerwissenschaftler dies auch Rechenmaschinen bei, damit diese Menschen beim Denken unterstützen und sogar mathematisch formulierbare Sätze beweisen können. Daher durchdringen…