WolframAlpha computational knowledge AI
alan turing, yehoshua bar hillel, yeshayahu leibowitz