https://archive.org/details/atreatiseonuniv00goog
The Extension theory of Hermann Grassmann
Burnside - Theory of Groups of Finite Order
Non omnes formulae significant quantitatem, et infiniti modi calculandi excogitari possunt. (Leibniz)
https://archive.org/details/atreatiseonuniv00goog
The Extension theory of Hermann Grassmann
Burnside - Theory of Groups of Finite Order
Are quantifiers convenient fictions with fundamenta in re ? What does constructivism and dependent type theory have to say about this ? And...
No comments:
Post a Comment