From Formal Logic to Computation: The Mathematical Road to AI
A readable walk from Boole and Frege through computability, switching circuits, information theory, and cybernetics, showing how formal ideas made later computing and AI legible.
Topic
formal logic
1 article explores this thread.