Computing
is
Logic
In a certain sense