Inter-universal geometry と ABC予想 (応援スレ) 73 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは1000を超えました｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
848: 08/20(水)11:06 ID:zV8Ap9ho(1/2) AAS
826 ＞初学者や未経験を馬鹿にするより筋道をつけてやれよ。
述語論理を勉強しなよ、と筋道をつけてやってる。
827 >ちゃんとスカウト育成しろ。
828 >数学する人が減ってしまうよ。
誰も数学しなくても人類は滅びない。
逆に皆数学ばっかりやりだしたら人類滅びそう（笑）
829 >ただでさえ女子は特に人材才能不足なのに。
省10
856: 08/20(水)14:58 ID:zV8Ap9ho(2/2) AAS
>>854
＞メンタルピクチャー教の反対が、厳密教だろうか
形式論理主義(formal logicism)な 実に左翼的だろ（笑）
＞1980年の中頃まで 日本では 厳密教 全盛だった気がする
君が大学の一般教養の数学で落第したのが1980年の中頃か（笑）
実際の数学者はそれほど形式論理に通じていたとは思えないが
数学の正当性の根拠は最終的に形式論理によるという信仰は
省27
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s