5 ms·
More on this point of view ("formalism") and a provably unfixable issue (incompleteness) in these notes of mine: https://iblech.gitlab.io/bb/multiverse.html htt
by IngoBlechschmid 7y ago
More on this point of view ("formalism") and a provably unfixable issue (incompleteness) in these notes of mine: https://iblech.gitlab.io/bb/multiverse.html https://iblech.gitlab.io/bb/multiverse.html
- heinrichhartman 7y agoJust realized you are a student of Marc Nieper-Wißkirchen in Augsburg. Extend my greeting when you see him! He introduced me to Category Theory around 2006 in Mainz.