Word spread quickly through the mathematics community that one of the paramount problems in C * -algebras and a host of other fields had been solved by three outsiders — computer scientists who had barely a nodding acquaintance with the disciplines at the heart of the problem.
