The Logician and the Engineer