純粋・応用数学・数学隣接分野（含むガロア理論）19 (481ﾚｽ)
上下前次1-新
418(1): 02/20(木)08:32 ID:+AxBc79u(3/5) AAS
数学は
局所的には「手筋」っぽいものが見えるときもあるが
大域的にはそんな都合のよいストラテジーはない
ゲーデルの不完全性定理はそのことを示している
ストラテジーがあるなら、述語論理における充足可能性の決定手続きが存在するはずだが
充足不能ならともかく、充足可能であるときに必ずそうだと教えてくれるような手続きは存在し得ない
上下前次1-新書関写板覧索設栞歴
あと 63 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.005s