Max Newman & Tommy Flowers
350 BC Aristotle - How to form valid logical arguments.
1705 Gottfried Leibniz - Similarity of logic and arithmetic.
1831 Michael Faraday - Electromagnetic Induction.
1847 George Boole - Systematized logic.
1943 Max Newman - Specification for Heath Robinson.
1943
Tommy Flowers - Colossus - First Electronic Digital Programmable Computer.