La metáfora viene del famoso matemático y científico de la computación Alan Turing , quien, junto con John von Neumann y otros teóricos, descubrió el vínculo entre las matemáticas de números enteros y la lógica.
Эта метафора происходит от известного математика и специалиста по вычислительной техники Алана Теринга, который вместе с Джоном фон Нойманном и другими теоретиками открыл связь между математикой целых чисел и логикой.