Ông ấy hoàn thành chương trình tiến sĩ năm nào?
Kurt Gödel was awarded his doctorate in 1930.
['Năm nào tôi xuất bản On Formally Undecidable Propositions of Principia Mathematica and Related Systems?', 'Về các đề xuất chính thức Undecidable của Principia Mathematica và các hệ thống liên quan I của Kurt Gdel có ngày 17 tháng 11 năm 1930 và được xuất bản lần đầu vào năm 1931 trong tập Monatshefte fr Mathematik.', 'Kurt Godel ở tuổi nào và gia nhập với anh trai ở Vienna?', 'Năm 18 tuổi, Kurt Gdel cùng anh trai đến Vienna và vào Đại học Vienna.']
Kurt Gdel hoàn thành luận án tiến sĩ vào năm nào?