cybernetics

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.