|
|
|
|
|
|
by TwentyPosts
782 days 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 |
|
|
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.