A Symposium in Memory of Hao Wang
Monday, December 2, 1996
Conference Auditorium
George Sherman Union
775 Commonwealth Avenue
Moderator: BURTON DREBEN , Boston University
- MARTIN DAVIS
- Computer Proofs and Unsolvable Problems in the Work of Hao Wang
- CHARLES PARSONS, Harvard University
- Wang as Philosopher and Interpreter of Gödel
- ABNER SHIMONY, Boston University, emeritus
- Hao Wang's Reflections