"...where he completed his Ph.D. in 1954, nominally under Albert W. Tucker and Roger Lyndon, but de facto under Paul Erdős with whom he had two very short conversations"