Suche

Anders als man es in der Schule lernt, besteht Mathematik nicht nur aus Rechenaufgaben. Zwar beschäftigen sich Fachleute teilweise auch mit Geometrie und Zahlen - und zwar bis hin zur Unendlichkeit. Doch ein entscheidender Teil des Fachs hat mit der Suche nach Brücken zu tun: ...

Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien präsentiert dieses Buch die Ideengeschichte der Begriffe Wahrheit, Beweis, Gleichheit und Äquivalenz. Neben ausgewählten Ideen von Platon, Aristoteles, Leibniz, Kant, Frege und anderen ...