Tag: Logik

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
Allgemein
// 3 Dezember 2018
Georg_Cantor_1894--Wikimedia-Commons--CC0

Georg Cantor gilt als Vater der modernen Mathematik. Er hatte entdeckt, dass es verschiedene Größenordnungen von Unendlichkeit gibt. Mit seinen überraschenden Entdeckungen eckte er in der Fachwelt an und wurde isoliert. So begründete er im Alleingang die Mengenlehre und kam dabei der Natur der Unendlichkeit auf die Spur. Dabei machte ihm seine Krankheit schwer zu…

Mehr
Allgemein
// 11 Oktober 2018
pay-1036469--geralt--Pixabay--CC0

Seit Anfang Oktober sind Mathematiker auf der ganzen Welt in Aufregung: Michael Atiyah, ein preisgekrönter Mathematiker, behauptet, er habe eines der größten ungelösten Rätsel der Mathematik gelöst, die Riemannsche Vermutung. Was es damit auf sich hat und warum das eine so spektakuläre Meldung ist (und in weiterem Sinne auch warum es gar keine so einfallslose…

Mehr
Allgemein
// 15 Juni 2016
D-Wave 1000Q close lower res

Ein Quantencomputer ist bislang nur Theorie. Trotzdem können IT-Experten jetzt schon bestimmen, wie leicht er gängige Verschlüsselungen knacken könnte. Mit einem Trick aus der Logik. Auf der Suche nach Verschlüsselungsverfahren, die selbst von einem leistungsstarken Quantencomputer nicht schnell geknackt werden können, befasst sich Prof. Dr. Alexander May mit sogenannten schweren mathematischen Problemen. Es handelt sich…

Mehr