20/05/13 14:12:47 YxiDM0Si.net
>>617
＞普通の数学では
＞自己言及のような、再帰（定義、算法、論法など）は、普通は使わない
＞対角線論法などは、例外としてね
これまた酷い・・・
自然数の定義は再帰の典型ですけどね
・ｎが自然数なら、ｓ（ｎ）も自然数である
この他にも再帰的定義は枚挙に暇がありません
さらにいうと、再帰関数の定義にはＹコンビネータを使うんですが
これ、対角線論法が元になってます
Y = (λf . (λx . f (x x)) (λx . f (x x)))
不動点コンビネータ
URLﾘﾝｸ(ja.wikipedia.org)