[過去ログ] 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