ゲーデルの不完全性定理
原題: Gödel's incompleteness theorems - Wikipedia
分析結果
- カテゴリ
- 経済
- 重要度
- 41
- トレンドスコア
- 9
- 要約
- 不完全性定理は、自然数の基本的な算術を表現するのに十分な複雑さを持ち、一貫性があり、効果的に公理化された形式的システムに適用されます。特に、これらの定理は、数学の基礎に関する重要な洞察を提供し、ある種の真実が証明不可能であることを示しています。
- キーワード
The incompleteness theorems apply to formal systems that are of sufficient complexity to express the basic arithmetic of the natural numbers and which are consistent and effectively axiomatized. Particularly in the context of first-order logic, formal systems are also called formal theories. In general, a formal system is a deductive apparatus that consists of a particular set of axioms along ...