ポスト

ゲーデル流の不完全性定理とは? 1931年、数学者・論理学者ゲーデルが証明した重要な定理。 自然数論を含む公理系が無矛盾性をもつならば、真偽を決定できない命題が必ず存在するという第一不完全性定理と、公理系自身の無矛盾性を公理系内で証明することができないという第二不完全性定理がある。 pic.twitter.com/M8ZzxfMovl

メニューを開く

鈴音 (自由の義勇軍戦士)ロックが死ぬほど好きです!@Suzune_Rinne_Pi

人気ポスト

もっと見る
Yahoo!リアルタイム検索アプリ