Was ist eigentlich ein Beweis?
Im Mathematik- und Informatikstudium trifft man schon von Anfang an sehr oft auf „Beweise”. Aber was sind eigentlich Beweise und wofür sind sie gut?
Ein wichtiger Unterschied zwischen der Mathematik in der Schule und der Hochschule ist, dass wir in der Hochschulmathematik den Drang haben, alles zu beweisen – also ausgehend von wenigen Axiomen jede neue Aussage hieb- und stichfest zu begründen.
Anfangs dauert es etwas, bis sich unsere Studierenden an diese Art Mathematik zu betreiben gewöhnt haben. Daher widmet der ehemalige Mathe-Student Steffen Meier heute einen ganzen Vortrag diesem Thema. Was ist das? Was sind die Möglichkeiten und Grenzen von Beweisen? Und welche besondere Rolle spielt auch die Informatik?