newyorker: Long before artificial intelligence came into its own, Christopher Strachey taught a comp