7 ms·
Could you elaborate on what alternative to a 'type-theoretic outlook' you're thinking of? Pure set theory? Something without types at all, somehow? I don't know
by TwentyPosts 2y ago
Could you elaborate on what alternative to a 'type-theoretic outlook' you're thinking of? Pure set theory? Something without types at all, somehow? I don't know enough about the space to understand how type theory would make things "more complicated" as opposed to just being a helpful tool
- practal 2y agoI am writing about this here: http://abstractionlogic.com http://abstractionlogic.com Chapter 1 of the book is already available (you can buy it for £0), and Figure 2 vs. Figure 3 describes how type theory is different from Abstraction Logic, although I don't mention type theory explicitly at this point. Future chapters take this view of the mathematical universe presented in chapter 1, and give it an algebraic and logical form.