有限集合とは何だろう（ストーリー付き練習問題集） - 檜山正幸のキマイラ飼育記 (はてなBlog)
「Xは有限集合である」とか「Xは有限集合でない」とかの表現はよく出てきますが、この有限性ってのはいったい何なんでしょう？ 少しマジメに考えてみることにします。これといった予備知識を要求しませんが、マジメに考える態度は必要です。 実は、有限性を調べるのは目的じゃなくて手段です。証明の“お膳立て”シリーズとか、自然演繹ダメじゃんシリーズ（って、そんなシリーズねえけど、「存在記号の除去規則について考える」とか）に対して、例題を提供するのが、この記事の主たる目的です。この記事を読みながら、ハッキリとは書いてない証明を全部書いていくことが練習問題になります。内容的には超カンタン（当たり前）なので、明示的な証明は逆にハードです。 内容： 自然数についてよく知っているとする 論理記号など 有限性の定義 個数勘定の原理 個数勘定の補題と鳩の巣原理 個数勘定の補題と数学的帰納法 もう少し数学的帰納法のための
神の存在証明 - Wikipedia
前3者は、カントが『純粋理性批判』の第三章「純粋理性の理想」において中世以来の神の存在証明に対する反論のために独自にまとめたものである。 目的論的証明[編集] 目的論的証明とは、例えば、「世界と自然の仕組みの精巧さや精妙さは、人間の思考力や技術を超えている」という考えを前提とし、「世界にこのような精巧な仕組みや因果が存在するのは、『人知を超越した者』の設計が前提になければ説明がつかない、つまり、神は存在する」という主張による証明である。 これはカントにおいては自然神学的証明とも呼ばれる。 本体論的証明[編集] アンセルムスやデカルトが、このような形の神の存在証明を試みたので有名である。この証明はいくつかのヴァリエーションを持つが、「存在する」という事態を属性として捉え、例えば次のような論理を展開する。 まず、「可能な存在者の中で最大の存在者」を思惟することができる。ここで、「任意の属性Pを
安部研究室
2014/09/12 HPガブリエルの写真の下のコラムに (5) 背理法で出題ミス？ を増 (別館の記事を引用) 2014/08/05 間違いだらけの数学小辞典 でぐぐってみて下さい (別館いつのまにか) 2014/01/19 02.2頁：素数の無限性 直接証明３は痛快？ 2013/12/08 03頁： 「一切」を「殆ど」へ +α修正 2013/11/25 05頁： Fermat-Wilesの定理 に関して加筆 2013/11/19 久々の更新です。煽ってくださる方々に感謝します。 02頁：空論の明示、 [部屋割り論法は自明]を追加した。 04頁：ヒルベルト流体系の命題論理部分を紹介 2013/08/07： 01頁：高木先生の本 02.1頁：訂正と説明増 06頁：説明増と 真理表追加 2013/07/14： 02.1頁：新設 02頁の7/11以降追加分を分離し、 頁末に常用対数 log3の
背理法被害者の会
× 「定義域が空集合の写像(関数)は存在しない(定義できない)」 と思い込んでいる数学者が多いのですが、実は ○ 「定義域が空集合の写像(関数)は唯一存在する」 ことは公理的集合論における定理です。(この元を空写像(関数)とよぶ。) このことは、数学基礎論や圏論をある程度学んだことのある数学者は解っているようだが、そうは思っていない数学者も多いようです。特に、 「定義域が空集合である写像は存在しない」 という誤解は国際的にもあるようで、 竹内外史著、「層・圏・トポス」、日本評論社(１９７８年） の本文１３ページに、 「φ 上の関数は唯一つ存在して φ 自身である」 ことを説明（証明）した後、 「こんなことを細々と説明したのは φ 上の関数は一つもないと誤解している人が往々にしているからである」 とでています。 (現在増補改訂版が復刊されています。あとがきに本文の訂正がありますので、 こちら
直観主義と選択公理の話 - 論理とか計算機とか数学とか
下記の講義ノートを読んでいたら選択公理のことが書いてあって，それがおもしろかったのでこの記事を書こうとしています。 http://math.andrej.com/2005/08/23/realizability-as-the-connection-between-computable-and-constructive-mathematics/ 直観主義と選択公理の関係って相性がよさそうな悪そうなよくわからないものなのですが，そのあたりの事情がちょっと整理できました。 BHK interpretation と選択公理 BHK (Brower-Heyting-Kolmogorov) interpretation というものがあります (http://en.wikipedia.org/wiki/Brouwer%E2%80%93Heyting%E2%80%93Kolmogorov_interpre
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
無理数の無理数乗 = 有理数となる場合 (2020年 横浜市立大/1986年 阪大)