The metaphor comes from the famous mathematician and computer scientist Alan Turing, who, along with John von Neumann and other theoreticians, uncovered the link between the mathematics of whole numbers and logic.
Эта метафора происходит от известного математика и специалиста по вычислительной техники Алана Теринга, который вместе с Джоном фон Нойманном и другими теоретиками открыл связь между математикой целых чисел и логикой.