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 gibt dort eine Reihe interessanter…
Letzte Kommentare