`Mathematical Machines' of the Cold War · Study