He was so convinced of a machine-enabled future, and so eager to explore its boundaries, that he was willing to tolerate a degree of ridicule to bring it to pass. He was preoccupied, as he wrote to a correspondent, “with the possible capabilities and applications of large scale electronic computers.” Considered in the light of that future, our present, his machines weren’t hobbies—they were proofs.