20/04/06 09:57:56.62 ZEVs1Egc.net
>>458
>そのツールがすごいんでしょ。
その肝心の「ツールのすごさ」を示す具体的な話が
今の所ゼロ
>ABC予想は、数学者の多くが解こうとしている難題で
まず一般論として
「解こうとする事」と「解き切る事」とはまた違う話
解こうとしていても解き切る事に関心がないというケースが普通にある
あくまで「自然に解ける事」「解こうとするプロセスで得られる事」に価値がある
20/04/06 09:57:56.62 ZEVs1Egc.net
>>458
>そのツールがすごいんでしょ。
その肝心の「ツールのすごさ」を示す具体的な話が
今の所ゼロ
>ABC予想は、数学者の多くが解こうとしている難題で
まず一般論として
「解こうとする事」と「解き切る事」とはまた違う話
解こうとしていても解き切る事に関心がないというケースが普通にある
あくまで「自然に解ける事」「解こうとするプロセスで得られる事」に価値がある