Programming them required deep mathematical knowledge to translate instructions into pages of numerical code on punched cards. That was the world that Dartmouth College math professors John Kemeny ...