Logician and Engineer: George Boole and Claude Shannon