「 年別アーカイブ：2024年 」 一覧

２０２４年４月２８日　（解析の日）   前回 「有限　ｖｓ　無限」 問題に対し最後の審判をしておきました。 第一階述語論理レベルで集合論の無限公理なんか持ち出す。 その基本思想が間違い。 だ ...

２０２４年３月２８日　（決着の日）   今までのまとめとして、termの 「有限　ｖｓ　無限」 の課題に決着を付けておきましょうか。 （∞）関連の議論を見て分かるように。 再帰性の観点からt ...

２０２４年２月２８日　（潜在の日）    個体定数を無限個許容する場合。 大きく分けて、二つのレベルに分かれます。 一方は、潜在無限として導入する場合ですが。 従来は、潜在無限なんてゲテモノ ...

２０２４年１月２８日　（近似の日）   前回の記事を見た後で、 「今までも、自由集合なんか暗黙知として採用していた。」 なんて言い出す馬化が多くいる模様。 ホント、普遍病が膏肓に入ったらしい ...