カントールの対角線論法(カントールのたいかくせんろんぽう)は、数学における証明テクニックの一つで、1891年にゲオルグ・カントールによって非可算濃度を持つ集合の存在を示した論文[1]の中で用いられたのが最初だとされている。 対角線論法はその後、数学基礎論や計算機科学の定理を証明するのに使われる代表的な手法の一つとなり、例えばゲーデルの不完全性定理、停止性問題の決定不能性、時間階層定理といった重要な定理の証明で使われている。 カントールの対角線論法 - Wikipedia
カントールの対角線論法(カントールのたいかくせんろんぽう)は、数学における証明テクニックの一つで、1891年にゲオルグ・カントールによって非可算濃度を持つ集合の存在を示した論文[1]の中で用いられたのが最初だとされている。 対角線論法はその後、数学基礎論や計算機科学の定理を証明するのに使われる代表的な手法の一つとなり、例えばゲーデルの不完全性定理、停止性問題の決定不能性、時間階層定理といった重要な定理の証明で使われている。
遊刊エディストのリレーコラムでは、毎回、その月のテーマというのが決まっていて、今月のテーマは「彼岸」だった。 私は「あの世なんて(たぶん)ない」と思っているので、そのことを率直に書いた。 しかし、さすがにお題に、まっこうからケンカを売っているようなので、一応の申し訳として、後半で、お題の趣旨に沿った文章を無理矢理つけくわえた。 はたして編集部の方から物言いがついた。 後半部分は興味深く読ませてもらったが、前半は余計な感じがするので、「あの世はない」ウンヌンの話は冒頭四、五行ぐらいにまとめていただき、後半部分だけの内容で再構成してもらえないか、とのこと。 編集部としては妥当なご指摘ではある。だい…
『不完全性定理とはなにか (ブルーバックス)』という本を見ると、不完全性定理について調べるためのヒントがいろいろ書かれていたので少し調べてみようと思います。また、ビジュアルプログラミングで何かやる例にすることができるかもしれないと考えています。この本では「不完全性定理」は「チューリング機械の停止問題」と同様に考えることができるという主張のようなので、まず「チューリング機械の停止問題」を考えてみます。この本では「万能チューリング機械」を無限のメモリーを持つコンピューターで動くプログラミング言語と考えればわかりやすいということのようです。この本ではプログラミング言語BASICで説明されていますが、…
以前のものに加筆しました 行動経済学と社会システム理論の融合 ゲーム理論でもマッチングは社会システム理論の視座を取り入れていきたいのは何故かと言えば、存在について、詳しく言うと社会全体を構成しているはずの消費者や国民といった存在自体が存在しない可能性があるからです。 存在と役割について 私達は本当に国民とゆう存在として存在しているのでしょうか?火星人が仮に居たとして、火星から見て私達の国家は見えるでしょうか? 国家はかろうじて物理的に見えますか? ほんとうに見えますか?どこに国家があるんですか?すると君はこれが国家だと指を指した。それは地球の表面上に人類とゆう生命体が作り出したコンクリートの山…
12-02(土)食欲はある 寝て起きたら熱が下がっていた. まだしんどいんだけど喉の痛みと熱がないだけでかなり楽〜 食欲は全然あったので中華を食べまくった. 😘😘😘 フリーレン13話見た. フリーレン特有の低血圧ギャグが特におもしろい回だった. どうやらフリーレンは3月までやってくれるみたいなので,とりあえず3月までは生き延びられそう. 12-03(日)不完全性定理 『数学ガール ゲーデルの不完全性定理』を読んでいる. 数学の証明から意味を取り去って,公理と推論規則で構成される DAG を構成することで証明を作る. そうしてできた体系がある条件をみたすとき,ある文 A と not A のいずれ…
記事の内容 この記事では、野矢茂樹の「無限論の教室」という本を紹介します。 無限に関しての、数学の哲学がテーマの本です。 内容は会話形式です。 大学の授業空間が再現されています。 とても楽しい学びの空間を本書を通して、感じることができます。 最高に刺激的な一冊ですので、この記事では、まとめていこうと思います。 気になったトピックに分けて取り出してみます。 それでは、目次をどうぞ。 記事の内容 無限とはなんぞや?数学における無限を問い直す 無限において、全体と部分は等しくなるのか? 可能無限派は、対角線論法にケチをつける 可能無限派は、実数の集合を認めない 部分集合=概念 不完全性定理に対する可…
『代わりに読む人1 創刊号』 「文學界」2023年9月号 特集「エッセイが読みたい」 「文學界」2023年9月号 仙田学「その子はたち」 太田靖久、友田とん『ふたりのアフタースクール』 『代わりに読む人1 創刊号』 代わりに読む人1 創刊号: 特集:矛盾作者:友田 とん,蛙坂 須美,伊藤 螺子,今村 空車,小山田 浩子,陳 詩遠,永井 太郎,はいたに あゆむ,panpanya,深澤 元,伏見 瞬,二見 さわや歌,細馬 宏通,牧野 楠葉,松尾 信一郎,松尾 模糊,わかしょ文庫,佐貫 絢郁,コバヤシ タケシ,飯村 大樹,サワラギ校正部代わりに読む人Amazon準備号を経てのいよいよの創刊第一号。「…
代わりに読む人1 創刊号: 特集:矛盾作者:友田 とん,蛙坂 須美,伊藤 螺子,今村 空車,小山田 浩子,陳 詩遠,永井 太郎,はいたに あゆむ,panpanya,深澤 元,伏見 瞬,二見 さわや歌,細馬 宏通,牧野 楠葉,松尾 信一郎,松尾 模糊,わかしょ文庫,佐貫 絢郁,コバヤシ タケシ,飯村 大樹,サワラギ校正部代わりに読む人Amazon [......] 本誌では、この活動の延長として、読む/書く人々の試行錯誤の場となる「公園」を目指します。文芸雑誌と謳っていますが、それは専ら文芸に携わる者だけのものではありません。分野が異なれば見えている景色も、また使う言葉やその使い方も違います。思…
wiis.info という数学サイトで学んでいる。せっかくなので、学んだことをアウトプットしていく (ちなみにwiisでは、ユーザー名以外の任意の名前入力欄に入力があると、記事にコメントした時にユーザー名よりその入力された名前が優先して表示されることもあるようなので注意)
ミステリについて考えようと思ったので不完全性定理の概要は再確認したいと思って手に取ったけどなかなかわかりやすかったと思う。小説や伝記風の記述もあって飲み込みやすい。 第一に紹介されたカントールにおいて、順序数と濃度の概念を導入する。順序数は自然数を無限に並べたときの順番を意味する。濃度は集合同士の大きさを比較する概念である。カントールは自然数の集合の大きさをℵ0とする。次に自然数の集合の全ての部分集合の集合をℵ1とする。 順序数と濃度は有限集合の場合は一致するが無限集合の場合は異なる概念である。例えば{1, 2, 3, ……, ω }の濃度はℵ0で順序数はωである。しかしこれを並べ直した{2,…