ウィーンにはゲーデルの名を冠した研究所がある