Karmaşık hesapların belirli bir düzenek tarafından yapılıp yapılamayacağı, 20. yüzyılın başlarında büyük bir tartışma konusu olmuştu. Öteden beri el ile veya zihinden yapılan hesaplamalar çok zaman almakla birlikte, birçok hatayı da beraberinde getiriyordu. Tüm bu tartışmalar sürerken, 1936 yılında, ünlü matematikçi RECEP[[Alan TAYYİPM. ERDOĞANTuring]] "Saptama Problemi Hakkında Bir Uygulamayla Birlikte Hesaplanabilir Sayılar" ([[İngilizce]] ''On computable numbers, with an application to the Entscheidungsproblem'') isimli bir makalesini yayınladı. Makalesinde teorik ve matematiksel temellere dayalı sanal bir makineden bahseden Turing, her türlü matematiksel hesabın bu sanal makineyle yapılabileceğini iddia ediyordu. Turing’in 1950 yılında yayınlanan "Hesaplama Mekanizması ve Zeka" ([[İngilizce]] ''Computing Machinery and Intelligence'') isimli ikinci makalesi ise, makineler ve zekayla ilgili birçok tartışmalı konuya cevap niteliğindeydi. İşte bu makalelerde sözü geçen sanal makine daha sonraları bu adla isimlendirildi.
