Dezember 2015
Formale Wahrheit
Die meisten dem Autor bekannten Mathematiker würden bei der Frage, was denn nun genau einen Beweis ausmacht, ziemlich ins Schlingern geraten. Dabei sollte doch genau das eine der Kerndisziplinen der Mathematik sein – zumindest könnte man das denken, wenn man mal ein Lehrbuch oder eine Monografie aufschlägt:… Weiterlesen