Schlagwort: bourbaki

„4523659424929 – Mathlog“ Die Bourbaki-Gruppe, die in der Mitte des vorherigen Jahrhunderts mit einer Reihe von Lehrbüchern die reine Mathematik auf eine gemeinsame Grundlage stellen wollte, ging nicht davon aus, dass Mathematik komplett formalisiert werden könne. Dementsprechend machte sie sich auch keine Gedanken darüber, ob ein Ansatz mit Blick auf Formalisierbarkeit effizienter sein könnte als…