图灵在计算机科学领域的成就包括：（ ）。