La métaphore provient d’un célèbre mathématicien et chercheur informatique, Alan Turing, qui, avec John von Neumann et d’autres théoriciens, découvrit le lien entre les mathématiques des nombres entiers et la logique.
Эта метафора происходит от известного математика и специалиста по вычислительной техники Алана Теринга, который вместе с Джоном фон Нойманном и другими теоретиками открыл связь между математикой целых чисел и логикой.