記号論理学II

アッカーマン関数が再帰的関数であることを示せー
アッカーマン関数が原始再帰的関数でないことを示せー(やや難)

イミフですがレポートのネタもどっから持ってくればいいのやらという感じで。
停止性問題とかいうのも使えるかと思いましたがこれ自体は証明があっさり終わってしまうので単体では提出できないですね…