1978年1月14日)は、オーストリア・ハンガリー二重帝国(現チェコ)のブルノ生まれの数学者・論理学者である。関する研究が知られる。1924年、ゲーデルは、ウィーン大学に入学し、まず物理学を、後に数学を学んだ。1930年には、最初の重要な業績である「第一階述語論理の完全性定理」を発表し、学位を得た。とって最も重要な発見とされる「不完全性定理」を発表した。これは、ヒルベルトが数学の無矛盾性を証明するために推進した「ヒルベルト・プログラム」に関連して研究されたものであるが、「数学は自己の無矛盾性を証明できない」ことを示した不完全性定理は、ヒルベルト学派の主張した有限の立場を忠実に用いて、手法としての超数学を具体化することで、皮肉にもそのプログラムが本質的に不可能であることを暗示するというものであった。