[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
93(1): 2022/03/27(日)20:51:08.10 ID:rGp7WhMv(1/3) AAS
はいはい通報済み長期恋愛ストーカー天羽優子@apj 55歳の問題画像[精神的ブラクラ注意！] 画像ﾘﾝｸ[jpg]:blog-imgs-17.fc2.com 画像ﾘﾝｸ[JPG]:b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com
611(2): 2022/04/26(火)09:36:44.10 ID:veXEGJzf(1) AAS
>>610
そもそも彼は「論文は普通の数学者が理解できる内容ではない」と言ってるだけなんだから間違ってるとかなんとかいう状態にはならんの？
わかる？
そんなおバカな主張してるのはアホセタぐらいだよ
てかお前アホセタか？
692: 2022/04/28(木)20:48:47.10 ID:Pij0bwl1(1) AAS
信州大かどっかがcoqのマニュアル作ってた
pdf公開してたはず
740(1): 2022/04/29(金)19:54:32.10 ID:8F/R9SM+(1/3) AAS
よう！レボリューショニスト！
元気かい？
829(2): 2022/04/30(土)19:54:15.10 ID:Vf6bDvV+(22/26) AAS
>>828
つづき
・通常の数学論文では、IUTほど「可読性」が問題になることは少ない
（皆無ではない。古くはガロアの第一論文とか、カントールの非可算無限集合論とかがある）
・そこで、プログラムに例えると
1）プログラムの設計と書き方
2）プログラムの検証
省18
924(1): クレタ人 2022/05/06(金)00:23:29.10 ID:ErnGlmdM(1) AAS
ゴールドバッハ予想の証明
宇宙Aの素数と
宇宙Bのプラクティカル数と
をつなぐ
宇宙Bではゴールドバッハ予想が成り立つ
IUTにより
宇宙Aでもゴールドバッハ予想が成り立つ
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s