トップ «前の日記(2003-01-12) 最新 次の日記(2003-01-15)» 月表示 編集

日々の流転


2003-01-14 [長年日記]

λ. アッカーマン関数と高階原始帰納関数

アッカーマン関数は原始帰納的でないので計算できないと思っていたら、萩野先生に「アッカーマン関数は高階原始帰納関数なので、exponentialを使えば書ける」と言われてしまった。ガーン。

自然数上での primitive recursion の定義は知っているけど、自然数に限定しない意味での primitive recursion はどのように定義されるのだろう?

2002-07-12に原始帰納関数と末尾再帰について書いたけど、nobsunさんはきっと自然数以外に対するprimitive recursionも考えていたんだろうなぁと想像。

Tags: CPL