Mathematics' Anarchitecture & Processes

Jan 21, 2020 · 3 min read · In the previous post in this series, we made an outline of mathematical areas of programmer interests that we will explore together in 2020. A major portion of the post was about how first-order and/or propositional logic is isomorphic with categori...