ในช่วงหลายปีหลังจากที่เขาเรียนจบวิทยาลัย
ทัวริงได้เริ่มพิจารณาคิดค้นหาวิธีการหรือกระบวนการที่จะสามารถยืนยันทางคณิตศาสตร์ เขาได้วิเคราะห์กระบวนการที่เป็นระเบียบโดยมุ่งเน้นไปที่คำสั่งเชิงตรรกะการกระทำของจิตใจและเครื่องจักรที่สามารถรวมเป็นรูปแบบทางกายภาพได้