超限帰納法

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

数学的帰納法では証明できないが超限帰納法でなら証明出来るような簡単な例題ってあります...

…整列集合Wの元に関するある命題Pが有って,それについて次の(*)が示されたとすれば,PはWの全ての元についても成立つ。 (*) aをWの任意の元とする時,x<aであるWの各元xについてPが成立つと仮...…

締切

グッドスタインの定理と超限帰納法

…ロジャー・ペンローズが グッドスタインの定理を超限帰納法を使って説明していました 私が読んだのは、グッドスタインの定理を、くだいて説明したものであって 正式な形は知りません ...…

解決

停止問題のすごさ

…なぜ、チューリングはフィールズ賞を取れなかったのでしょうか? 神の不存在証明(停止問題)を示した彼は、フィールズ賞及びノーベル平和賞を獲得しても良かったはずです。 皆さんの意見...…

締切

数学的帰納法と無限の概念

…部分と全体が同じであるものが無限であるという言い方があるそうですが,数学的帰納法もその例になりますか。叉フラクタルもやはり部分と全体が同じということで無限という概念に関係し...…

解決

数学的帰納法の別バージョン

…数学的帰納法の別バージョンがあれば教えてください。…

解決

実数の整列化について

…大学で数学を学んでいる者です。 最近、集合と位相の科目で、整列可能定理を学びました。 それは、選択公理・Zornの補題と同値な命題であって、その内容は 「任意の集合において、適当な...…

解決

ゲーデルの不完全性定理とは?

…入門書を読んで理解を深めてから質問しようと思っていたのですが、なにぶん多忙かつ 魯鈍であるため、ほとんど理解していない状態での質問をお許しください。 ゲーデルの不完全性定理...…

解決

√2が無理数であることを数学的帰納法で示したい。

…√2が無理数であることを数学的帰納法で示したいのです。 任意の自然数p,qでp/q≠√2であることを示せばよい。 座標(p,q)の格子点で、p=1,q=1のときを示し、右上方向へのドミノ倒しをしてい...…

解決

万能な記述形態って何種類あるのでしょうか?

…プログラマをやっています プログラミング言語を見ていくと ・アセンブラ→C言語→Javaの流れ チューリングマシンから、よく使うものを文法として括り出してきた ・Lisp ラムダ算法をプ...…

解決

Vitali集合の外測度

…Vitali集合の外測度は、いくつになるのでしょうか。 また、それは選択公理を使った元の選び方によらず決まるのでしょうか。 ご回答よろしくお願いいたします。…

解決

3分の1×3

…ふと疑問に思ったので・・・ 3分の1×3=1・・・ (1) これが通常の計算です。 しかし、小数で考えてみます。 3分の1を小数に直すと、0.3333・・・・・ となります。 (1)と同じように計算して...…

締切

自然数 0×∞

…より簡単となるように、話を自然数だけに限定しました。 以下において、数はすべて自然数(0を含む)とします。 まず、等号 = を帰納的に定義します。 0 = 0 a = b ならば a + 1 = b + 1 これに...…

解決

公理とその応用分野での矛盾・問題

…数学にはさまざまな分野がありそれぞれに公理があるようですが、 それらの公理に矛盾が本当にないのでしょうか? 一見して公理に矛盾がなさそうでも、それらの公理を基にした証明や、さ...…

解決

どんなディルドがいいですか・・・?

…50代後半の男です。 夜の営みの時、全くといっていいほど勃起しません。 妻にフェラされても、手で愛撫されても駄目なんです。 もう、かれこれ3年程そんな状態です。 バイアグラやレ...…

解決

未来は、存在していると証明できますか

…マクタガートのA系列(過去・ 現在・未来)の三様相のうち、特に、未来という時間概念を論理的に探究する前に、そもそも未来は、存在していると証明できているのでしょうか?と思ってしま...…

解決

ブルバキ 等号を持つ述語論理について

…ブルバキ数学原論 集合論1 をお持ちの方に質問です。 P55、演習§5、7)Tにおいてシェーマ(R⇔S) ⇒(τz(R)=τz(S))(R、Sは関係式、zは文字)が非明示的公理を与えていれば、x=yがTの定理となること...…

解決

ニートの方、生活保護受給者の方について

…その二つはイコールではないのに並べてしまっていますが、どちらかに該当するもしくは両方という方、またはそれに詳しい方、普段からその問題をよく考えたりする方、意見や情報を聞か...…

締切

1以下と1未満の違い(証明編)

…1以下と1未満を1<xと1<=xに置き換えて考えます。 直線lを数(整数、有限小数および無限小数)として定義します。 数の連続性を考えれば数を直線として考えることに異論はないと思います...…

解決

死後の世界を否定するのは「科学的」か

…科学者で「死後の世界」を否定する人がいますね。 早稲田の大槻教授とか。 彼の本などを読むと、何か物理学の理論?を使って死後の世界や幽霊を否定しているのですが、そもそも現在の科...…

締切

宇宙の法則は創造されたものなのか

…神=創造主と考える人は多いようです。 しかし果たして宇宙の法則、つまり世界の全てを支配する法則は創造し得るものかと考えてみました。 宇宙の法則は創造されたものではなく、また...…

解決

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

Q質問する(無料)

おすすめ情報

Q&A検索履歴