Inter-universal geometry と ABC予想 (応援スレ) 73 (975ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
848: １３２人目の素数さん [sage] 2025/08/20(水) 11:06:43.88 ID:zV8Ap9ho(1/2) AAS
826 ＞初学者や未経験を馬鹿にするより筋道をつけてやれよ。
述語論理を勉強しなよ、と筋道をつけてやってる。
827 >ちゃんとスカウト育成しろ。
828 >数学する人が減ってしまうよ。
誰も数学しなくても人類は滅びない。
逆に皆数学ばっかりやりだしたら人類滅びそう（笑）
829 >ただでさえ女子は特に人材才能不足なのに。
女性が数学嫌いなのは健全な証拠かも（笑）
830 >論理式、その間違いだらけのつまらないもん、がわかることが数学者の条件ではない。
831 >君等が間違いながら進んできたから読む人が意味がわからないんじゃないの。
おベンツ君がが読めないからといって、間違ってるということにはならん
832 >論理式一般の読者に罪はないさ。
数学が理解できないからといって罪はないさ
835 >間違ったから正解を真似るとかじゃ数学の真理に届かないさ。
数学の真理なんで、高卒一般人のおベンツには生涯縁がないから安心しろ
これで安心しただろ？ 統失おベンツはさっさと数学板から出ていきな
薬のんで統失治せよ 大丈夫、数が分からないアマゾンのピダハンでもちゃんと生きてる
856: １３２人目の素数さん [sage] 2025/08/20(水) 14:58:08.42 ID:zV8Ap9ho(2/2) AAS
>>854
＞メンタルピクチャー教の反対が、厳密教だろうか
形式論理主義(formal logicism)な 実に左翼的だろ（笑）
＞1980年の中頃まで 日本では 厳密教 全盛だった気がする
君が大学の一般教養の数学で落第したのが1980年の中頃か（笑）
実際の数学者はそれほど形式論理に通じていたとは思えないが
数学の正当性の根拠は最終的に形式論理によるという信仰は
いまだにあるだろう
＞結局、20世紀を振り返ってみると、
＞公理的集合論が出て これがほぼ完成したが
そんなの20世紀の初頭だろ（笑）
そしてコーエンによって、公理的集合論じゃ
連続体仮説すら決定できないという事実が
明るみに出てしまったのが１９６０年代
つまり公理的集合論は数学的実在を規定するようなものではない
これ豆な 知らぬは高卒 ◆yH25M02vWFhP ばかりなり
>やはり、素朴集合論 Naive set theory がベース
>”that uses natural language to describe sets and operations on sets.”
>（自然言語を使用して集合および集合上の演算を記述する）
それ、大学数学で落ちこぼれた高卒レベルの素人の妄想（笑）
>あと、圏論が かなり使われるようになった
公理的集合論の初歩も分からん素人に
圏論なんか分かるわけないだろ（笑）
＞思うに、コンピュータ言語に例えると、
＞公理的集合論が アセンブラで、
＞素朴集合論は 高級言語(PythonやMathematica)
＞圏論は 再帰を許す関数言語か
数学理論もコンピュータ言語も分からん素人の妄想
アセンブラでも高級言語でも関数言語でも
プログラミングできる範囲は同じ
圏論が公理的集合論よりも上とかいうのも
なんもわかってない素人の妄想
そもそも方向性が全然違う
比較するのが馬鹿
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s