Mathematics' Anarchitecture & Processes
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...
Jan 21, 20203 min read149
