Mathematik für die Woche – Lösung

[Der Martin]

Hallo,

nein, das $$\equiv$$ steht nicht für identisch, sondern für äquivalent

das ist dann aber sehr irreführend.

Gleichheit wird in der Mathematik sowieso sehr oft übergangen und nur informell behandelt.

aber Gleichheit und Identität sind ja nicht das gleiche, erst recht nicht dasselbe.

Im Detail beschäftigen sich eigentlich nur die mathematischen Grundlagen-Disziplinen damit, wie die Mengenlehre, Typ-Theorie und Kategorien-Theorie.

Ich hätte jetzt an erster Stelle eher die Arithmetik und Algebra erwartet, bei der Identität vielleicht Mengenlehre und Geometrie.

Das obige Zitat ist ein Auszug aus dem Homotopy Type Theory Buch, [...] aber spannender als jeder Stephen King Roman (zumindest für manche Mathe-Nerds).

Zu diesen Nerds zähle ich mich nicht. Ich nutze die Mathematik als Mittel zum Zweck, habe aber kein Interesse, tiefer einzusteigen.

Live long and pros healthy,
 Martin