“of one of the first IBM commercial computers was actually…” — Software Engineering Daily at 40:03
“of one of the first IBM commercial computers was actually to automate the reasoning from principle of mathematical right so automated reason was one of the first non military applications of computers and then AI John McCarthy coined the term AI he was a formal reasoning person.”
0:00
50:29