17/04/26 07:08:41.48 HKIfusLx.net
>>231 より再録
”数列の連結”なるトンデモ概念：べつに良いんじゃ無い？ ”数列の連結”は、下記のように、数列を文字列と読み替えれば普通だ。無限列をどう扱うかは問題だ。しかし、無限集合を考えれば良いでしょ？きちんと理論構築できるかは別として。”数列の連結”概念は可能だよ（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
クリーネ閉包
シンボルの集合上の（二項演算としての文字列連結による）あらゆる文字列の集合はモノイドを成すから、これはクリーネ閉包の一般化である。
(引用終り)
小学生への説明みたいだが、N：数列の集合、C：文字列の集合
N ⊃ C
なので、「二項演算としての文字列連結」が定義できるなら、「数列連結」が定義できる
「二項演算としての文字列連結」の定義は、あらためて定義と呼ぶほどのこともない
自然言語で書けば、abc・・・とABC・・・とを連結すれば、abc・・・ABC・・・だと
数学的には、もう少し緻密に、空集合とか１文字の列から初めて、きちんとやるのが正なんだろうね
おそらく問題は、無限長の文字列まで、「二項演算としての文字列連結」を拡張してどうなるかだね
別に自分は、”無限長の文字列まで、「二項演算としての文字列連結」を拡張した理論”を自らここで展開するつもりはないし、ひまもない（余白も狭い（＾＾；
ここでは、”無限長の文字列まで、「二項演算としての文字列連結」を拡張した理論”は、不可能じゃないだろうと
その程度皆さんが納得して貰えれば、自分的には十分
「”無限長の文字列まで、「二項演算としての文字列連結」を拡張した理論”は、不可能じゃ」という証明ができるなら
それは、スレ28 (High level people が時枝問題を論じるスレ) ｽﾚﾘﾝｸ(math板) で存分にやってちょうだい
が、現代数学が無限を扱えるように拡張されている以上
そんな証明はできないと、個人的には思うよ