げーでで始まる言葉

国語辞書(1)

• ゲーデル‐の‐ふかんぜんせいていり【ゲーデルの不完全性定理】

  1931年、オーストリア出身の数学者・論理学者ゲーデルが証明した数学基礎論における重要な定理。自然数論を含む公理系が無矛盾性をもつならば、真偽を決定できない命題が必ず存在するという第一不完全性定...

人名事典(1)

• ゲーデル【Kurt Gödel】

  ［1906〜1978］米国の数学者・論理学者。オーストリアに生まれるが、ナチスに追われ渡米。記号論理学・数理哲学・集合論などに多大な業績を残した。特に、不完全性定理の証明は数学界に大きな影響を及...