Inter-universal geometry と ABC予想 (応援スレ) 75 (189ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
158(1): 09/17(水)05:18 ID:3X0fIBXC(1/5) AAS
>>157
おまえ、いったい何がしたいの？
推論もできない高階論理なんて意味ないじゃん（笑）
●違い？
170: 09/17(水)16:25 ID:3X0fIBXC(2/5) AAS
>>159
>一流数学者は、一階論理では 思考していない！
と、大学１年の一般教養の数学で落第したエテ公が妄想（嘲）
>1980年代の古い 数学観・数学教育に毒されている
1980年代の大学一般教養の数学の落第から抜け出せないエテ公（嘲）
171: 09/17(水)16:33 ID:3X0fIBXC(3/5) AAS
>>161
＞例えば、グロタンディーク ÉGA 、SGA
＞一階論理では 思考していない。
一階論理も分からんサルが
グロタンディーク ÉGA 、SGAを１ページも読めず
勝手に妄想（嘲）
＞先に メンタルピクチャー、“big picture”があって、
＞それを 一階論理なり圏論に落としている
メンタルピクチャー！と絶叫すれば
数学が分かると思ってるサル（嘲）
＞ソフトウェア開発の”トップダウンアプローチ”と同じこと
＞全体像が既にあって その全体像を文章に落とす。
＞全体像を作るところでは、一階論理では 思考していない
省12
172: 09/17(水)16:39 ID:3X0fIBXC(4/5) AAS
>>166
>>一階述語論理で思考しないことと
>>一階述語論理を理解してないことは全然違うけどな
>一階述語論理の重要性は否定しないが
>メンタルピクチャー、“big picture”の重要性と両立するだろう
一階述語論理も分からんサルが
メンタルピクチャーとか“big picture”とかいくらわめいても
一般教養の微分積分で出てくる定理一つ証明できず
大学の課題として出されるプログラム一つ書けない
結果として落ちこぼれる
論理も分からんプログラムも書けん奴は
「理屈が分かる」人間ではないから大学に行っても無駄
サルとして理屈抜きの芸を身体で覚えろ
高校までそうやって「算数芸」を覚えたんだろ？
173: 09/17(水)16:44 ID:3X0fIBXC(5/5) AAS
実のところ、
定理の証明も
プログラムの作成も
算数の計算よりは高等かもしれんが
所詮、芸でしかない
学者として大事なのは
いかなる定理が成り立つと予想するのか？
いかなるプログラムが必要だと考えるのか？
いわゆるメンタルピクチャーとかbig pictureの真意はそこ
だから証明やらプログラムの作成の芸すらおぼつかん奴には無理
デッサンがろくに書けん奴が、いきなり油絵描けるわけなかろう
アホか サル
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s