The Deep Link Equating Math Proofs and Computer Programs
Mathematical logic and the code of computer programs are, in an exact way, mirror images of each other.
Mathematics Framework for California Public Schools
Abstractions blog
Siddharth Maddali (@Siddarthious@) - Mastodon
Aranea Science PodcastEpisódio 52 - Curry-Howard correspondence
Innumeracy: Mathematical Illiteracy and Its Consequences: John Allen Paulos: 9780809074471: : Books
Quantum Computing by Rob Botwright (Ebook) - Read free for 30 days
AlphaGeometry: Google's Leap into Mathematical Mastery with AI
Stanly Samuel on LinkedIn: The Deep Link Equating Math Proofs and
GitHub - jaalonso/Lecturas_GLC: Readings on computational logic
Quantum Computing by Rob Botwright (Ebook) - Read free for 30 days
The Deep Link Equating Math Proofs and Computer Programs
Curry-Howard correspondence: A link between mathematical proofs