### Indian sacred texts and the logic of computer ethics

The Indian sacred texts of the Vedas have been studied for millennia. But now, for the first time in history, computer scientists in Vienna analyse them by applying the methods of mathematical logic. This gives Sanskritists ...