21/12/25 19:12:42.59 AJOGh3OI.net
>>776-777
「ように見える」と私が言っている理由は
望月氏の論文では単なるレトリックと論証を
分離することが（私には）困難だからです
mutationを無制限に行っているところは
論文中にいくつもありますが>>777の通り
>Moreover, typically the sorts of species-objects (略)
>as the result of executing the mutations that arise in
>some sort of mutation-history
> 式
>[where (略) are species] — e.g., the “output species-objects”
>of the “S” on the right that arise from applying various
>mutations to the “input species-objects” of the “S” on the left.
はその一つです
全文引用は数学記号のため無理ですが場所は特定できるはずです
「mutation-history」で検索するとさらに出てきます
私は、ここに出てくるoutputはset theoretic formulaを
ZFCにおいて適用した際のoutputだと理解しています
私の誤解でしょうか？
参考のために：私がこれらのことに気になったのは
望月氏のSSへの反論 『REPORT ON DISCUSSIONS...』(Rpt2018.pdf) を
読んでからですこの文書の第5章では
(H1)The conventional approach to histories of operations
に比して
(H2) The approach taken in IUTch to histories of operations
が述べられていますが、私にはここで望月氏が"re-initialization"と
宣言することによりZFCに無制限に介入しているように見えます