『カントールの対角線論法 - Wikipedia』へのコメント (original) (raw)
気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます - 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
このページのオーナーなので以下のアクションを実行できます
タイトル、本文などの情報を
再取得することができます
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
usersに達しました！
さんが1番目にブックマークした記事「カントールの対角...」が注目されています。
カントールの対角線論法 - Wikipedia
カントールの対角線論法（カントールのたいかくせんろんぽう、英: Cantor's diagonal argument）は、数... カントールの対角線論法（カントールのたいかくせんろんぽう、英: Cantor's diagonal argument）は、数学における証明テクニック（背理法）の一つ。1891年にゲオルク・カントールによって非可算濃度を持つ集合の存在を示した論文[1]の中で用いられたのが最初だとされている。 その後対角線論法は、数学基礎論や計算機科学において写像やアルゴリズム等が存在しないことを示す為の代表的な手法の一つとなり、例えばゲーデルの不完全性定理、停止性問題の決定不能性、時間階層定理といった重要な定理の証明で使われている。 対角線論法[編集] 集合による表現[編集] 対角線論法とは、以下の補題を使って定理を証明する背理法のことである。 を集合とし、をのべき集合とする。さらにをからへの写像とする。の部分集合をにより定義すると、となるは存在しない。 上の補題は以下のように示せる。となるが存在すると仮定