Mathlog
Mathematik und Informatik in Kambodscha, Niger, Indien, Bangladesh und Ecuador
Der folgende Artikel ist ein Bericht über eine Panel-Diskussion auf dem Heidelberg Laureate Forum. I.W. denselben Artikel (mit mehr Bildern) kann man auch auf dem HLF-Blog ansehen. Die Diskussion fand am Dienstag nachmittag in der Alten Universität Heidelberg statt, mit acht Panelisten und wohl mehr als 200...
Meine Beiträge im HLF-Blog
Diese Woche hatte ich einige Beiträge für den Blog des Heidelberg Laureate Forum geschrieben, die ich, da sie ja auch für die Leserschaft des Mathlog von Interesse sein könnten, auch von hier aus nochmal verlinken möchte:Zum mathematischen Teil (des Vortragsprogramms)Schönheit und...Wissenschaftsausgaben und Selbstmordrate
Es liegt in der Natur einer Messung, dass sie nicht beliebig genau sein kann. Und selbst bei einer genauen Messung wird man Schwankungen des Meßwertes feststellen und häufig lassen sich solche Schwankungen sogar statistisch beschreiben. Als etwa 2002 der große Wissenschaftsskandal in der Festkörperphysik aufflog, da...
Geometrie im Alltag
Autowerkstätten, die Mechanik und Diagnostik anbieten, kennt man auch aus Deutschland. Autowerkstätten, die Geometrie anbieten, habe ich in Deutschland noch nicht gesehen, sind in Polen aber recht häufig. Gemeint ist vermutlich Fahrwerksgeometrie?
Aufgenommen irgendwo zwischen Świnoujście und Koszalin.
Computerformalisiertes Apfelsinenstapeln
|- import_tame_classification /\ the_nonlinear_inequalities ==> the_kepler_conjectureist ein mit Hilfe von HOL formalisiertes Theorem, wobei the_kepler_conjecture definiert ist durch`(!V. packing V ==> (?c. !r. &1 &(CARD(V INTER ball(vec 0,r))) <=...
Mathematik
Schule
Hochschule/Beruf
DMV
