After Math: (Re)configuring Minds, Proof, and Computing in the Postwar United States