河東泰之「セミナーの準備のしかたについて」は本当に正しいのか？

河東泰之「セミナーの準備のしかたについて」は本当に正しいのか？at MATH

河東泰之「セミナーの準備のしかたについて」は本当に正しいのか？ - 暇つぶし2ch686:East Enders
23/12/17 17:02:10.41 26hSOgL/.net
群の定義だけで、全ての群の形が理解できるか？　否
多様体の定義だけで、全ての多様体の形が理解できるか？　否
論理式の定義だけで、全ての論理式の真偽が理解できるか？　否
論理式に関していうと、それが充足不能（つまり矛盾）な場合、
矛盾を導く証明を返す手続きは存在する
この手続きがアルゴリズムでないのは、
充足可能な場合には、回答が返ってこないからである

次ページ