احد رواد الذكاء الاصطناعي، جون مكارثي