Inter-universal geometry と ABC予想 (応援スレ) 74 (976ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
80(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)22:15 ID:KYsCHIBD(12/17) AAS
>>70
これは これは ヒキコモリ数学者の 基礎論研究くんか？
お元気そうでなによりだ
まあ、がんばれよ
>>71-75
こっちは、数学科オチコボレさんのおサルさんかい？（>>10 ）
>>36-37 に書いたが
省33
82: 08/23(土)22:53 ID:18cyucpd(12/17) AAS
>>80
>さらには、一般の数学は 普通の数学論文やテキストは、自然言語が主で
いやいや、wikipediaですら論理式バリバリ使ってますけど？
君、論理式読めないじゃん
だから「∩の添え字範囲が書かれてないから不明確」とか超絶アホなこと言ってたじゃん もう忘れたの？ 都合良い記憶だなｗ
84: 08/23(土)23:01 ID:18cyucpd(13/17) AAS
>>80
>AI時代は、形式論理の公理的集合論の部分には コンピューター処理が入ってくるだろう
君はAIマンセーだけど、実数の整列順序についてのAI回答ズタボロだったやん。
と、言ったところで君には分からんか、バカはバカをバカと見抜けないんだから。
86: 08/23(土)23:13 ID:18cyucpd(14/17) AAS
>>80
>いま、コンピュータの利用で 300兆桁に到達しているごとし
>おサルさん、君でも数学研究ができるかもよｗ ；ｐ）
300兆桁が3000兆桁になることにどんな意義があるか考える知能の無いサルがいかにも言いそうな発言で草
102(1): 08/24(日)07:39 ID:jDvM1F2N(1/11) AAS
◆yH25M02vWFhP のトンデモ数学用語
「素朴集合論」
36
>”素朴集合論”というか自然言語を援用する論理
37
>素朴集合論は非形式的に自然言語で定義される。
>素朴集合論は多くの目的に十分であると同時に、
省35
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s