After Math: Reasoning, Proving, and Computing in the Postwar United States