Am 4. Oktober spricht Klaus Mainzer auf der internationalen Herbstschule „Proof and Computation“ in Fischbachau, die er zusammen mit Helmut Schwichtenberg (LMU) und Peter Schuster (U. Verona) vom 4.-7. Oktober über Grundlagen der Mathematik, Informatik und Philosophie organisiert. Die Kurse wenden…
[weiterlesen]