图灵在计算机科学方面的主要贡献是建立了图灵机和提出了图灵测试。