対角線論法 の検索結果 (99件 1〜 10 件を表示)

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

…林晋『ゲーデルの謎を解く』(岩波書店、1,999年)110ページに、「ラムダ計算系は、[・・ ・]カリーという人が、これも対角線上の悪魔[対角線論法によって呼び出される悪魔、とされています...…

解決

Cantorの対角線論法を用いる証明

…自然数全体の集合Nと、集合Nから集合{0,1}への写像すべてからなる集合Xの濃度が等しいことを証明するのに、Cantorの対角線論法をどのように用いればよいのですか?…

締切

再問:対角線論法⊂区間縮小法の証明は?

…カントールの対角線論法が、カントールの区間縮小法をエレガントにした物である、ということの証明を書いてある文献をお教え下さい。 市川秀志『カントールの区間縮小法』(パレード社...…

解決

対角線論法(?)について

…オートマトン言語理論計算論I(サイエンス社)という本の第7、8ページに すべての無限集合が等しい濃度を持つわけではない例として、 「整数全体の集合と実数全体の集合について考えてみよ...…

解決

対角線論法による全単射有無の証明について

…以下、Wikipediaの対角線論法の項目です。 http://ja.wikipedia.org/wiki/%E3%82%AB%E3%83%B3%E3%83%88%E3%83%BC%E3%83%AB%E3%81%AE%E5%AF%BE%E8%A7%92%E7%B7%9A%E8%AB%96%E6%B3%95#.E8.87.AA.E7.84.B6.E6.95.B0.E3.81.AE.E9.9B.86.E5.90.88.E3.81.A8.5B0.2C_...…

締切

対角線論法 10進数展開

対角線論法を用いて、自然数全体の集合と[0,1] 区間の間には全単射な写像は定められないということを示す証明を読んでいて疑問に思ったのですが、 循環しない少数は10進数展開が一意には...…

締切

カントールの対角線論法についておしえてください。

…《無限集合にはその大きさの大小があるということ》 というカントールの定理をめぐる次の証明の仕方はマチガイではないでしょうか? なるべく数式を使わずにおしえてくださるとありが...…

解決

可算無限集合のベキ乗が可算無限でないことを対角線論法で証明する。

…http://ja.wikipedia.org/wiki/%E3%82%AB%E3%83%B3%E3%83%88%E3%83%BC%E3%83%AB%E3%81%AE%E5%AF%BE%E8%A7%92%E7%B7%9A%E8%AB%96%E6%B3%95 をみているのですが、 わかりません。 証明 背理法による。 全単射 ψ: X → 2^X が存在したと...…

解決

Cantorの対角線論法って変ではないですか?

…実数全体の集合Rは可算ではない。 の証明なのですが 「I=(0,1)の全ての数を{a_1,a_2,…}のように番号づけれたと仮定する。 尚,0.237は0.236999…と展開する事にする。 a_1=0.a_11a_12a_13… a_2=0.a_21a_2...…

解決

実数の濃度(連続体濃度)についての問題の添削をおねがいします。対角線論法をつかってます。

…問: 任意の写像 f:N→R につき、f は全単射でないことを背理法を使わず証明せよ 添削していただきたいのは上の問です 背理法に引っかかっていないのかどうかが自分には分かりません *の...…

解決

検索で見つからないときは質問してみよう!

Q質問する(無料)

おすすめ情報

Q&A検索履歴

カテゴリ