Once dismissed as a relic of the Middle Ages, the spirit of metaphysical speculation is alive and well -- in computer science. Over candlelight in cathedrals and monkish cells, medieval metaphysicians ...