There is no royal road to learning, the ancients said; but in our culture, now, all roads seem, in one way or another, to lead to the computer. The transition from mathematical logic to the computer
is an easy and natural one. But the overwhelming questi