Author: Kurt Gödel Colloquium (5th 1997 Vienna, Austria)