∑ Calculemus Philosophical predecessors of AI