抽象化で証明できる命題は増えないだろ (52レス)
抽象化で証明できる命題は増えないだろ http://rio2016.5ch.net/test/read.cgi/math/1738689837/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
26: 132人目の素数さん [] 2025/02/06(木) 12:45:10.10 ID:ZwLJiPr5 >>25 すまん、バカ確定や 存在証明がないことと不存在が証明できることの違いもわからんとか http://rio2016.5ch.net/test/read.cgi/math/1738689837/26
44: 132人目の素数さん [] 2025/06/23(月) 19:15:25.10 ID:BtVcNGxY 抽象化で一見別の分野の内容だと思われて いたものが、統一的に理解されるならば、 証明や定義や構成のリストラクチャーを 招き、書物の数と記述の量を節約しうる ものである。デジタルならば参照リンク だらけの本とか。 http://rio2016.5ch.net/test/read.cgi/math/1738689837/44
51: poem [] 2025/08/29(金) 14:30:31.10 ID:IRX2U7N+ 具体を https://rio2016.5ch.net/test/read.cgi/math/1756048698/38-42/ ↓抽象化した https://itest.5ch.net/rio2016/test/read.cgi/math/1756444018/ 完成 http://rio2016.5ch.net/test/read.cgi/math/1738689837/51
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.303s*