Es ist eine alte Weisheit: Wenn man das Werk von Dichtem und Philo sophen verstehen will, tut man gut, sich fiir ihre Biographie zu interessieren. Bei den Vertretem der exakten Wissenschaften, insbesondere bei den Mathe matikem, sucht man kaum nach Beziehungen zwischen Leben und Werk. Unter den groBen Forschem der Mathematik gibt es Konservative und Sozialisten, Atheisten und Christen aller Konfessionen. Es scheint, daB erfolgreiche Arbeit in der Wissenschaft von den formalen Systemen fur Ver tr ...