Direkt zum Inhalt

PDF-Download

Hilbert und Isabelle

Jungforscher haben die Lösung für eines der Jahrhundertprobleme von Hilbert bestätigt, mit einem Mittel, von dem Hilbert damals nur träumen konnte: einer Software namens Isabelle.
Dieser Artikel ist frei für Abonnierende mit Zugriffsrechten für diese Ausgabe.
Bitte erlauben Sie Javascript, um die volle Funktionalität von Spektrum.de zu erhalten.