Ich weiß, dass alles, was ich suche, hier ist, Filme schauen, Serien schauen, Bildung, Spiele, Prüfungen, Nachrichten, aktuelle Ereignisse und vieles mehr.
„Theorema Magnum MXMVI: die Milnor-Vermutung [Mathlog]“ Die Hauptachsentransformation ist das klassische Verfahren, um Kegelschnitte in Standardform zu bringen. In der Sprache der linearen Algebra bedeutet sie, dass jede symmetrische Bilinearform (über den reellen Zahlen) diagonalisiert werden kann. Tatsächlich kann man nach dem 1852 bewiesenen Trägheitssatz von Sylvester über R so diagonalisieren, dass auf der Diagonale…
„Mengen oder Kategorien? – Mathlog“ Zwei Diskussionen bei Mathoverflow (Are categories special, foundationally? und Category theory and set theory: just a different language, or different foundation of mathematics?) werfen wieder einmal die Frage nach den „richtigen“ Grundlagen für die Mathematik auf: sollte die Axiomatik der Mathematik auf der Mengenlehre oder auf der Kategorientheorie aufbauen? Es…