Tag: berechenbar

Allgemein
// 17 Dezember 2018
Turing-statue-Bletchley_06--Antoine-Taveneaux--Wikimedia-Commons--CC-BY-SA-3.0-bearb

Der Mathematiker Alan Turing knackte die Enigma-Nachrichtenverschlüsselung der Nazis und war ein Wegbereiter der Informatik. Trotzdem fiel er in England in Ungnade. Doch Turing war mehr als der Codeknacker mit dem tragischen Leben. Er war ein visionärer Vordenker, ein Pionier der Informatik, ein Wegbereiter der Computertechnik. Er erforschte die Möglichkeiten und Grenzen der Computer – zu…

Mehr
Allgemein
// 10 Dezember 2018
24246848265_5a1a6a799f_o--Levan-Ramishvili--Flickr--CC0

Der Logiker Kurt Gödel erschütterte die Mathematik in ihren Grundfesten: Er fand heraus, dass es Dinge gibt, die nicht bewiesen werden können. Die Kollegen waren nicht begeistert. Gödel gilt als der bedeutendste Logiker des 20. Jahrhunderts, und so extrem wie seine Forschung war er auch als Person. In meiner Feature-Reihe „Geniale Mathematiker“ stelle ich Kurt…

Mehr