Re: Heidegger, for those with an interest in Godel's philosophy of mathematics the reason for studying Heidegger is phenomenology. As pointed out by Rick Tiezsen in his recent Bulletin of Symbolic Logic paper on Godel, phenomenology as espoused by Husserl strongly influenced Godel's late philosophical views. J.Kennedy