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

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

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

647(1): １３２人目の素数さん [sage] 2023/06/06(火) 17:38:36.00 ID:7u6tXo2H(1/4) AAS
>>645
もちろん高木式実数なので
Σ__(i=-∞)(∞)a_i×10^iですよｗｗｗ

651: １３２人目の素数さん [sage] 2023/06/06(火) 23:05:45.09 ID:7u6tXo2H(2/4) AAS
>>649
高木式数学ではa_iは変数でもあり定数でもあるので、今回は定数として定まっていますよ

652: １３２人目の素数さん [sage] 2023/06/06(火) 23:15:21.34 ID:7u6tXo2H(3/4) AAS
>>649
有界である全ての数ってなんですか？

653: １３２人目の素数さん [sage] 2023/06/06(火) 23:34:39.57 ID:7u6tXo2H(4/4) AAS
高木くんのいう有界下界の定義も高校生が字面だけで考えたシリーズだろ