"Just logic" I think really underplays things. That logic ends up in flight control systems, valve control for oil rigs, power grid management, robotics, factor

"Just logic" I think really underplays things. That logic ends up in flight control systems, valve control for oil rigs, power grid management, robotics, factory automation, satellites, etc. A lot of software programming has very physical implications.