Category Theory
Type Theory
Set Theory
Agda Programming Language
Gödel Machine
String Theory
Can machines think?
Lambda Calculus
Philip Wadler - Propositions as Types
Logic in Computer Science
Halting Problem
📚 Types and Programming Languages - Benjamin C. Pierce
📚 Deep Learning - Ian Goodfellow, Yoshua Bengio, Aaron Courville
📚 Gödel, Escher, Bach - Douglas Hofstadter
📚 Introduction to the Theory of Computation - Michael Sipser
📚 Conceptual Mathematics - Lawvere & Schanuel
📚 Category Theory for Programmers - Bartosz Milewski
📚 Categories for the Working Mathematician - Saunders Mac Lane
📚 Logic in Computer Science - Huth & Ryan
📚 Programming Language Pragmatics - Michael Scott
📚 Homotopy Type Theory: Univalent Foundations
▶️ Hafif Programming
▶️ Green Code