Die Metapher stammt von dem berühmten Mathematiker und Informatiker Alan Turing, der neben John von Neumann und anderen Theoretikern den Zusammenhang zwischen der Mathematik der ganzen Zahlen und der Logik entdeckte.
Эта метафора происходит от известного математика и специалиста по вычислительной техники Алана Теринга, который вместе с Джоном фон Нойманном и другими теоретиками открыл связь между математикой целых чисел и логикой.