图灵在计算机科学方面的主要贡献是提出了______。