Gödel

奥地利裔美国逻辑学家、数学家，以不完备性定理闻名，对数理逻辑和数学基础产生深远影响