Title: Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt GFodel