[過去ログ] Inter-universal geometry とABC 予想57 
 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
280
(1): 2024/12/06(金)00:33 ID:YDnZEO7A(1/2) AAS
>>278
Question: How do you feel now that the proof
has been broken down to the axioms of mathematics?

質問。
証明が数学の公理にまで分解された今、
どう感じていますか?

答え。
省4
281: 2024/12/06(金)00:37 ID:YDnZEO7A(2/2) AAS
>>280
つづき

この場合、主な定理は素晴らしい眺めの高台に
あるのだが、そこへ行くには大きく回り道を
して、反対側から山を攻めることになる。
Zulipのチャットで質問に答えていると、
難所では「ここに足を置いて、そこに手を置いて、こうやって体を引き上げて」という形で
省4
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.031s