Typentheorie ist ein Teil der Mathematik, von dem ich überhaupt nichts verstehe, obwohl sie zur Zeit sehr angesagt zu sein scheint.Grob gesagt geht es um die jedem Informatiker ins Blut gegangene Tatsache, dass das Ergebnis einer Verknüpfung mehrerer Objekte davon abhängt, zu welchem Typ die jeweiligen...

Hier in Korea breitet sich gerade die Viruserkrankung MERS aus, wie ja auch in deutschen Medien berichtet wird. Ein Aspekt, der in deutschen Zeitungsmeldungen nur am Rande vorkommt, der aber durchaus erwähnt werden sollte: dass wohl alle bisher Erkrankten (soweit sie sich nicht vorher im Nahen Osten aufgehalten...

Team KAIST hat mit dem DRC-Hubo gestern in Pomona/Kalifornien die DARPA Robotics Challenge gewoonen, einen von DARPA (einer Behörde des US-Verteidigungsministeriums) organisierten Wettbewerb für humanoide Roboter.KAIST steht übrigens für "Korea Advanced Institute for Science and Technology" und ist...

Partitionen, Primzahlen und genähte Fußbälle Fullerene im neuen Kalenderblatt:(Zum Vergrößern auf das Bild klicken.)Beim Eintrag zur 3 geht es um Dreieckszahlen, dass sind Anzahlen von Steinen, mit denen man wie im Bild rechts ein gleichseitiges Dreieck legen kann, also 1,3,6,10 usw. Das...

Der Lambacher Schweizer - wohl die bekannteste Schulbuchreihe für Mathematik an deutschen (und Schweizer) Gymnasien. Theophil Lambacher und Wilhelm Schweizer hatten 1945 im Auftrag der Alliierten damit begonnen, neue (d.h. von nationalsozialistischen Inhalten bereinigte) Mathematik-Lehrbücher zu erstellen...