[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）19 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
418(1): 02/20(木)08:32 ID:+AxBc79u(3/5) AAS
数学は
局所的には「手筋」っぽいものが見えるときもあるが
大域的にはそんな都合のよいストラテジーはない
ゲーデルの不完全性定理はそのことを示している
ストラテジーがあるなら、述語論理における充足可能性の決定手続きが存在するはずだが
充足不能ならともかく、充足可能であるときに必ずそうだと教えてくれるような手続きは存在し得ない
419(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/20(木)10:34 ID:BaWbUTFC(1/5) AAS
>>418
>数学は
>局所的には「手筋」っぽいものが見えるときもあるが
>大域的にはそんな都合のよいストラテジーはない
私の意見は、微妙に違うが、
下記 HARDY の XI章 ディオファントス近似 を合わせて
勉強すると 良いとも思う The transcendence of e 及び The transcendence of πを
省35
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s