Did he claim it was a *proof*, or an order-of-magnitude *estimate* — in the same...

		dctoedt on July 30, 2020 \| parent \| context \| favorite \| on: In October 1953, I coined the word 'software' (199... Did he claim it was a proof, or an order-of-magnitude estimate — in the same category as the job-interview question "how many gas stations are there in the United States?"