Alan Turing symbolic math BUILDING versus Federal Building