|
|
|
|
|
|
by practal
782 days ago
|
|
|
I am writing about this here: 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. |
|
|