dポイントと交換できるWelcome!スタンプをあつめよう
辞書
[1906〜1978]米国の数学者・論理学者。オーストリアに生まれるが、ナチスに追われ渡米。記号論理学・数理哲学・集合論などに多大な業績を残した。特に、不完全性定理の証明は数学界に大きな影響を及ぼした。
出典:デジタル大辞泉(小学館)
ゲーデルのふかんぜんせいていり【ゲーデルの不完全性定理】
1931年、オーストリア出身の数学者・論理学者ゲーデルが証明した数学基礎論における重要な定理。自然数論を含む公理系が無矛盾性をもつならば、真偽を決定できない命題が必ず存在するという第一不完全性定理と、公理系自身の無矛盾性を公理系内で証明することができないという第二不完全性定理がある。
出典:教えて!goo
ゲーデルの第1不完全性定理の具体例はありますか
数学には正しいとも正しくないとも判断できない命題があるそうですが(ゲーデルの第1不完全性定理)、具体的にこのような命題を見いだせていますか。もしそうならその命題の内容を素人...
もっと調べる
1位
2位
3位
4位
5位
6位
7位
8位
9位
10位
11位
12位
13位
14位
15位