20/05/12 17:53:54.95 jIkDYE6o.net
>>556 補足
＞高階述語論理を考えていく方が、正統ではないかという気がしています。21世紀なんだしね（＾＾；
例えば
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 出張・講演
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(2015-02).pdf
[17] 宇宙際タイヒミューラー理論への誘（いざな）い （2015-02） （京都大学数理解析研究所 2015年02月）
で P5 に
”一種の「同義反復的解決」”というのが出てくる
また P6 に
”「同義反復的な解決」が成立するような「補助の舞台」を構築した上で”（注：「補助の舞台」が ホッジシアターかな？（＾＾ ）
と出てくる
「同義反復的な解決」の意味が、正確には分からないが
すぐ浮かぶのが、”再帰”というキーワードだ
”再帰”になると、一階述語論理の範囲外だ
IUTの「同義反復的な解決」というのが、果たして 一階述語論理の範囲内なのか、そうでないのか？
が、一つの論点になると思う
もし、一階述語論理の範囲外となると
ZFCとかZFCGだけを論じても
あんまり意味ないってことになるし
ここらが、どうなるか？
興味を持って、注目しています（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
再帰
(抜粋)
再帰呼出し
ある手続き中で再びその手続き自身を呼び出すことを認める場合が多い。
これを再帰呼出しといい、階乗計算やフィボナッチ数列のように、本来再帰的な構造をもつアルゴリズム（再帰的アルゴリズム）を記述するのに適している。