高木くんがアクセプトされるまで見守るスレ ★3

[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★3 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

647(1): 2023/06/06(火)17:38 ID:7u6tXo2H(1/4)調 AAS
>>645
もちろん高木式実数なので
Σ__(i=-∞)(∞)a_i×10^iですよｗｗｗ

651: 2023/06/06(火)23:05 ID:7u6tXo2H(2/4)調 AAS
>>649
高木式数学ではa_iは変数でもあり定数でもあるので、今回は定数として定まっていますよ

652: 2023/06/06(火)23:15 ID:7u6tXo2H(3/4)調 AAS
>>649
有界である全ての数ってなんですか？

653: 2023/06/06(火)23:34 ID:7u6tXo2H(4/4)調 AAS
高木くんのいう有界下界の定義も高校生が字面だけで考えたシリーズだろ