対角線論法

の検索結果 (102件 1〜 20 件を表示)

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

…林晋『ゲーデルの謎を解く』(岩波書店、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 は全単射でないことを背理法を使わず証明せよ 添削していただきたいのは上の問です 背理法に引っかかっていないのかどうかが自分には分かりません *の...…

解決

ルート2は無理数??

…ルート2は無理数であるをカントールの対角線論法で証明したいのですが…教えてください…

締切

実数の集合が非可算であることの証明

対角線論法を用いて、実数の集合と自然数の集合が対等でないことを示せば、"実数の集合が非可算であること"は示せているのでしょうか? 別の証明方法があるなら教えていただきた...…

締切

数学基礎論の入門書

…数学基礎論の入門書 数学基礎論の入門書を探しています。 四則の厳密な定義やデデキント・カット、カントール対角線論法などの解説もある広く浅い入門書を知りませんか? 高校数学程度...…

解決

「無理数全体の集合Pについて、|P|>N0(アレフゼロ)を示せ」

…「無理数全体の集合Pについて、|P|>N0(アレフゼロ)を示せ」 という問題がわかりません。 解き方を教えて下さい。 教科書には実数の集合の濃度がアレフゼロより大きいことの証明が載っ...…

解決

連続体仮説の扱いは 《非知》ですか? (大澤真幸説への批判です)

…1. 次の結論は 《知り得るか知り得ないかが知り得ない非知なるナゾ》 のことだと理解してよいのですか? ▲ (ヰキぺ:連続体仮説) 〜〜〜〜 https://ja.wikipedia.org/wiki/%E9%80%A3%E7%B6%9A%E4%BD%93%E4%BB%AE...…

締切

全ての行列からなる集合の濃度は?

…対称行列は、縦ベクトルと横ベクトルの積で表すことができますから、 n次元ベクトルは、n次元平面と、同じ濃度 したがって、すべて対称行列からなる集合の濃度は、実数の濃度 というの...…

解決

集合 濃度の問題

…集合・位相の初心者です。 以下の問題の意味がよくわかりません。 問.Xを小数点以下の各桁の値が2か3か4であるような 小数全体の集合とするとき、|X|>|N|を証明せよ。 質問(1)小数点以...…

解決

2元生成の自由群は可算か?

…2元生成の自由群は可算か? バナッハタルスキーのパラドックスを本で読んで証明を追っています。 その途中、2元から生成された自由群(と同型な群)は可算であるから…、との表記が証明な...…

解決

集合,写像の問題の解き方をご教授願います。

…正整数全体の集合をN、実数全体の集合をRで表す。 写像f;N→Rにつき、実数の閉区間[3.14, 3.15] の要素で、像f(N)には属さないものが存在することを証明せよ。 ※つまり、差集合[3.14, 3.15] \f(N)...…

解決

集合の濃度に関する質問です

…可算無限集合Aの濃度をα_0(アレフ0) R^nの濃度をα_1(アレフ1) (nは自然数) Aの冪集合の濃度を2^α_0(2のアレフ0乗?) ※ヘブライ語のアレフの代わりに、αを使って記述してます。 なので以下αは...…

解決

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

Q質問する(無料)

Q&A検索履歴