ラベル ラムダ計算 の投稿を表示しています。 すべての投稿を表示
ラベル ラムダ計算 の投稿を表示しています。 すべての投稿を表示

2012年3月20日火曜日

チューリング 不動点演算子 証明

チューリングの不動演算子についての証明を画像に示す。
texでドキュメントをおこそうとしたけど、半年前からまったく触ってなかったので、ドキュメント作成が大変だった(まだできていない)。
現時点では、画像をアップロード。

問題

証明