対角線論法はラムダ計算系の成り立つ為の必要条件？

林晋『ゲーデルの謎を解く』（岩波書店、１，９９９年）１１０ページに、「ラムダ計算系は、[・・・]カリーという人が、これも対角線上の悪魔[対角線論法によって呼び出される悪魔、とされています。]に感染していることを明らかにした。」とあります。ラムダ計算系と対角線論法の関係を述べた文献も合わせてお教え下さい。

No.3 ベストアンサー 回答者： Tacosan 回答日時： 2011/11/19 23:12

その本は読んだことないから知らんけど, 単に「対角線論法により, ラムダ計算系において『何か』が起きることを示した」ということじゃ

ないのかなぁ. それが何かは (読んでないので) わからんが, 「計算できないものがある」とかだったらわらっちゃう.

この回答へのお礼

有難う御座いました。

お礼日時：2011/11/20 13:16

No.2 回答者： Tacosan 回答日時： 2011/11/18 23:11

ラムダ計算自体は「どのようなものが (ラムダ計算における式として) 正しいのか」「正しい式が与えられたときにどのように変形すること

ができるのか」を与えればできるから, 対角線論法が影響する余地があるとは思えません.

この回答への補足

そう致しますと、林晋先生がお書きになった事は、どういう意味になりますのでしょうか。また、カリーという人の、ラムダ計算系と対角線論法の関係について述べた文献だけでもお教え頂けますでしょうか。

補足日時：2011/11/19 15:10

この回答へのお礼

誠に有難う御座いました。

お礼日時：2011/11/19 15:11

No.1 回答者： Tacosan 回答日時： 2011/11/17 23:23

「対角線論法はラムダ計算系の成り立つ為の必要条件？ 」というタイトルの意味からしてわかりません. 何をいっているのですか?

「対角線論法」というのがただの「議論のしかた」であり, なんらの条件を意味するものではないということはわかりますか?

この回答への補足

「対角線論法が正しい。」という命題が必要条件ですか、という意味とお考え下さい。

補足日時：2011/11/18 14:30

この回答へのお礼

有難う御座いました。

お礼日時：2011/11/19 15:10