Fundstück von Petra: Das kommt davon, wenn man auf einem Bildungsgipfel über Dinge redet, von denen man nichts versteht. Die Webseite Bildungsklick berichtet, Kurt Beck, Ministerpräsident von Rheinland-Pfalz, habe folgendes gesagt:

„Beck betonte allerdings mit Blick auf die von der Koalition geplanten
Steuersenkungen, immer weiter sinkende Einnahmen, höhere
Bildungsausgaben und die Schuldenbremse seien kaum miteinander
vereinbar. ‚Das ist mehr als die Quadratur des Kreises verlangt.‘ “

Wie bereits 1882 von Lindemann bewiesen, ist die Quadratur eines Kreises mit Zirkel und Lineal unmöglich. Der Beweis benutzt Galoistheorie und Lindemanns Beweis der Transzendenz von π. Auch heute noch wird von vielen Amateurmathematikern immer wieder versucht, eine Konstruktion der Quadratur des Kreises anzugeben, obwohl das unmöglich ist.

Da stellt sich jetzt also die Frage, Herr Beck, was verlangt genau die Lösung eines (bewiesenermaßen) unlösbaren Problems? Und was genau wollten Sie uns damit sagen? Falls Sie meinen, dass es unmöglich ist, warum sagen Sie dann ‚kaum miteinander vereinbar‘? Ausgerechnet auf dem Bildungsgipfel…

Interessant ist meiner Meinung auch, dass viele Medien diesen Satz zitieren, sich aber niemand darüber zu wundern scheint. So weit ist es her mit der mathematischen Allgemeinbildung [PDF] heutzutage…

It is my pleasure to announce the second release of solidify, the remote, cached, synchronising FUSE file system. Version 0.2.0 can be obtained on the download page.

It has been a long time since the first release, but I have been occupied with my dissertation and life in general. I hope to be more productive in the next months.

Changes are: Many more safety checks and a command line tool that allows files to be selected for solidification in a mounted file system as well as bugfixes. There is a full overview over the current limited status and some new documentation.