• 締切済み
  • 困ってます

パラドックスについてデス。

立て続けに質問することをお許し下さい。 パラドックスについて2つ質問させて下さい。 1つ目 ・ラッセルのパラドックス(集合論の逆理)は現在どのように解決されているかが 知りたいです。(集合がどのように定義されたか。)  この時、「類」や「○○公理」などの言葉を使う時はその説明(もしくは参考サイ トの提示をお願いします。)高校生に分かる程度にお願いします。 2つ目 ・「ラッセルさん」と恒例の「ゼノンさん」の逆理以外の理念(集合論・極限論以   外)のおもしろい逆理がありましたら、名前だけでもいいので教えて下さい。  (自分で調べますので・・・) 以上2つよろしくお願いします。 最近(前から?)自信を持って間違った事を言う人が増えています。だからどう、って訳ではないんですが、(僕もその一人のようで・・・)自信ないのなら「自信ない」と示して回答を寄せて頂くと有り難いです。 よろしくお願いします。

共感・応援の気持ちを伝えよう!

  • 回答数5
  • 閲覧数260
  • ありがとう数7

みんなの回答

  • 回答No.5
noname#130082
noname#130082

補足:「オールバースの背理」に関しては、宇宙が無限で、宇宙に均等に星が存在しても解決できるそうです。 光の速さは有限ですから、遠くを見るほど昔を見ることになるわけです。もし、宇宙が永遠の昔から存在していたとすれば夜空は明るいはずです。 ところが、現在主流の宇宙論では「宇宙には始まりがあった」とされてます。だから、遠くを見ても、始まり以前の光は当然届かないわけですのでオールバースのパラドックスは回避できるそうです。 私は、宇宙が膨張しているために遠くの光のエネルギーが減るから(?)、また、ある距離より先は膨張のために光が届かないからと思っていたのですが、膨張の影響なしでも宇宙の歴史が有限というだけでパラドックスの回避はできるそうです。 Wikipediaより:http://ja.wikipedia.org/wiki/%E3%82%AA%E3%83%AB%E3%83%90%E3%83%BC%E3%82%B9%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9

共感・感謝の気持ちを伝えよう!

  • 回答No.4
noname#130082
noname#130082

1. もの(数学的な実体)の集まりを集合として一つの実体と扱おう、という集合論の考え方は非常に有用だったのですが、ラッセルのパラドックスなどが出てしまったわけですね。「集合全体の集合」などもパラドクスが出ます。 で、これらのパラドックスで出てくるものの集まりは非常に巨大だったので、それならばそんなに大きすぎる集まりは「集合」ではない(クラス(日本語訳が類)と呼ぶ)ことにして、集合として扱えるものはどんな集まりか、ということの条件を考えよう、という考えが出てきたようです。それで公理的集合論がいろいろ出たそうです。 http://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96 まあ、集合と呼べるものの範囲を限定することでパラドックスを回避するわけですから、本質的な解決かどうかはちょっとわかりません(^^; 嘘つきのパラドクスも、そういう自己言及的な文は数学では使わないように言葉を整理しよう、という方向のようです。 でも、考えてみると、コンピュータでは自己言及ができてしまいますけどね。セキュリティーソフトを動かすということは、PCがウィルスなどで汚染されているかどうかをそのPC自身で調べるわけですから、一種の自己言及かも。嘘つきのパラドクスのようなプログラムを作ることもできますし(動かすと止まらなくなるでしょうが)。 2. Wikipediaなどで検索するといろいろあるようです。 http://ja.wikipedia.org/wiki/%E3%83%91%E3%83%A9%E3%83%89%E3%82%AF%E3%82%B9

共感・感謝の気持ちを伝えよう!

  • 回答No.3
  • uyama33
  • ベストアンサー率30% (137/450)

p36 Introduction to metamathematics s.c.Kleene 東京大学出版会 をお勧めします。 パラドックスが いろいろ書いてあります。

共感・感謝の気持ちを伝えよう!

質問者からのお礼

情報ありがとうございます。 え~と、、、「Introduction to metamathematics」というので探せばいいのですよね? 調べてみます☆

  • 回答No.2

えーとですね。 下で回答なされているstarfloraさんの書かれておられることは全て本当のことです。 しかし、私がここに書いている回答は「自信なし」でもお判りの様に全て嘘です。 (^_^) いわんとすること、お判りですね。

共感・感謝の気持ちを伝えよう!

質問者からのお礼

すごい!!回答自体を質問の答えにしてくれてます!! ユーモアに満ちた解答、ありがとうございます☆

  • 回答No.1

    自信を持って間違ったことを言う人が多いということなので、「自信なし」にしましょう。しかし、騙される貴方の「自己責任」というのは、規約で明記されていたはずです。     それはともかく、パラドックスは、本当の論理的パラドックスは「解決しません」。そこで何か勘違いされているように主観的に思います。「回避する」か、または論理的に本質的でなく、見かけの錯覚だったと証明されて解決するだけです。「ゼノンのパラドックス」は、少しも解決していないのです。あれは、時間と空間に関する哲学的パラドックスで、「無限」の考え方を、どう把握するかということが問われているのです。ゼノンだって、アキレウスが亀に追いつけないという「常識」ぐらい知っていたはずです。     それはともかく、「ラッセルのパラドックス」は、ラッセル自身は、「タイプの理論」で回避しました。しかし、タイプの理論はその後、あまり展開しませんでしたから(というか、複雑な割りに成果がないので、棄てられたのでしょう)、ラッセルのパラドックスは残ったままだと思います。あれは、自己言及のパラドックスでもあるのですから、自己言及型の無限命題は「無効」とする指針で、回避しているのだと思います(あるいは、ラッセルが定義したような集合は、クラスとして扱い、一般の集合に含めないようにして、回避します……自己言及の無限命題は無効とするというのと、同じことですが)。解決はされていないはずです。というか、解決しようがないはずです(解決されたという意見があれば、わたしも知りたいです)。     「嘘つきのパラドックス」は有名な自己言及の論理パラドックスです。     「オールバースの背理」というものがあります。パラドックスではないのですが、話のついでです。これは、宇宙が無限で、宇宙に均等に星が存在するなら、空は、まばゆいばかりに、いや、地上のものをすべて燃え滅ぼすぐらいに明るく耀くはずだという背理です。普通、「夜空は明るい」と言います。星の光は、距離の二乗に比例して弱くなりますが、星の数は距離の二乗に比例して増えて行きます。すると、途中で、星の光がガスなどで遮られていたとしても、遠く遠くからの星の光を集めていくと、夜空は明るく隙間なく輝き、そこには、遙か向こうの星が見えているはずだという背理です。背理というのは、これは、実際、夜空は明るくないからです。だから、宇宙は無限でないか、または、星の分布は一様でないのだと、論理的に出てくるという話です。     論理学のパラドックスに、「リシャールのパラドックス」あるいは「ベリーのパラドックス」というのがあります。「意味論的パラドックス」と呼ばれているのが一方です(一方というのは、二つのパラドックスがあり、名前が、リシャールとベリーで、どちらがどちらか混同されてよく分からないのです。「ベリー」の方が意味論的パラドックスのはずですが、普通、これは「リシャール」で呼ばれます)。     選択公理が絡むと色々あり、有名なのは「バナッハ・タルスキーのパラドックス」です。     しかし、わたしは、確信を持って間違ったこと・出鱈目を言う人のようですから、これぐらいで終わりにします(質問者の要望通り、「自信なし」にしてありあますから)。  

共感・感謝の気持ちを伝えよう!

質問者からのお礼

まず、回答有り難う御座います。  「自信を持って間違ったことを言う人が多いということなので、「自信なし」に   しましょう。しかし、騙される貴方の「自己責任」というのは、規約で明記さ   れていたはずです。」 は、十分分かっています。それに間違った(?)回答でも寄せて頂くだけでも とても心強いのも事実です。ただ、ちょっと考えれば分かるようなことを、 自信をもって書く人が最近増えたかなぁ?と思ったんですが、(僕も含めて)人間はミスがあって当然なんですよね。ただ、僕のこの文を読んで「少し気を付けよう」と思ってくれた人がいれば幸いです。 では、脱線してしまいましたが、 >本当の論理的パラドックスは「解決しません」。 おっしゃる通りだと思います。 ただ、数学(という論理的概念)において本当の論理的パラドックスは、あってはまずいのでは無いかな?と思い、現在までには、例えば「ラッセルのパラドックス」で言えば、集合の定義を変えたり、条件を付けたり、新たな概念を付け足すなどして、この逆理を回避しているのではないか。 と思い、実際にどうやって回避したのか{=解決したのか(言葉のあやです。)}を知りたいと思ったのです。 「クラス」は初めて聞きました。クラスというのは「ラッセルの集合(?)」だけを指すのでしょうか?それとも何か別の定義があるのでしょうか?★疑問★ そうですね。自己言及を用いた逆理がありましたね。これはまぁ、いいでしょう。 (実は、「自己言及」の厳密な定義も難しいような気がしますが・・・) 「オールバースの背理」は(数学内だけの話では無いが)おもしろいですね。 そこから、論理的に 「宇宙は無限でないか、または、星の分布は一様でない」 と、導き出せるんですね。 その他の逆理についても調べてみます。  「しかし、わたしは、確信を持って間違ったこと・出鱈目を言う人のようですか   ら、これぐらいで終わりにします(質問者の要望通り、「自信なし」にしてあ   りあますから)。」 いえ、僕が強く言いすぎたのでしょうか?少し、気を使ってくれれば、別に間違ってようが、出鱈目を言おうが全然気にしてません。 特に今回は抽象的な(?)質問なので、自信も糞も無いんですが・・・ (あんな事を書いた僕が馬鹿でした・・・泣) これからもよろしくお願いします。

関連するQ&A

  • 集合論についての質問です

    集合論には大きく分けて素朴集合論と公理的集合論があることを知りました。 今大学生なのですが、工学部なのでそこまで詳しい解説は4年生になっても多分しません。 なので、数理学科が学ぶようなとても厳密なお話にはついていけないと思いますので、簡単に教えていただければと思います。 公理的集合論での「公理」とは、「これこれこういう集まりじゃなきゃいけませんよ」というような、集合とはどのようなものかを定義するものということでいいのでしょうか? いいかえるならば、素朴集合論において、パラドックスが発生したときに用いていた集合を排除するための規則ということでいいのでしょうか? 公理的集合論とは、素朴集合論においてパラドックスが発生してしまうような集合をとりのぞくいろいろな規則を導入して、パラドックスが発生しないようにした集合論ということですね。 また、高校や大学で集合を扱う時は、集合の定義で「ある条件に当てはまるか当てはまらないかが明確に決まるものの集まりとする」として、たとえば、「背の大きなクラスメートの集まりは集合とはしない」と説明されましたが、この時の背の大きなクラスメートの集まりが集合としないのは公理的集合論の理論を用いているのでしょうか? それともそれ以前の大前提のことをただ単に明示しているだけで、素朴、公理的、を語る以前のことという捉え方でいいのでしょうか? 全体的に分かりにくい文章で申し訳ありません。 よろしければ回答お願いいたします。

  • ラッセルのパラドックスと公理的集合論

    当方、数学についてはシロウトですが、お許しください。 集合論関係の本を読んでいてどうしてもわからないことがありまして。 ラッセルのパラドックスというのがありますよね。 このパラドックス自体は飲み込めたつもりですし、そういった類のパラドックスを避けるために公理系を整備するという発想も、まあ判る気がします。 が、例えばZF公理系ならば、どうしてラッセルのパラドックスが回避可能なのかがよくわからないのです。外延性公理から正則性公理まで眺めてみても、なぜこの公理系を採用すればパラドックスが起きないのかピンときません。 どなたかお詳しい方、解説をお願いできませんでしょうか。

  • 特殊相対論の式を弄ってたら色々な事が分かりました。

    一般相対性理論では、 GPSやカーナビができましたが、(これも真偽は怪しいし、アインシュタインを支持する者達の妄動かもしれませんが。) GPSってのは近づいてくる車と遠ざかる車を補正技術なしで判定できるのでしょうか? 又、特殊相対論のローレンツ収縮の数式、これはどうやってできたんですか? 歴史的背景を詳しくお願いします。 又、 一般相対論では 同じ静止した観測者が、秒速10万KMで遠ざかる隕石と、 秒速10万KMで近づく隕石を区別できますか? 又、2つの物体の観測者との比速はどうなるのでしょうか。 ひょっとして、「秒速10万KMで近づく隕石」と「秒速10万KMで遠ざかる隕石」が同じ比速になっていますか? 大事なところなのでココを一つお願いします。 特殊・一般相対論では、 近づく物体も遠ざかる物体も、同じ比速ですか?(両方同じ速さだったら。) 又、ゼノンのパラドクスの、 「競技場のパラドックス」「飛んでいる矢は止まっている」から来る、 空間に最小単位がなくて時間にはある、とかそういう見解が、 他のと比べて矛盾する、というのは現代科学で解けていますか? それと、 ウラシマ効果や反重力、タキオン、特殊相対論の不完全性(不完全なだけで意味がないワケではないです。) 重力波A,B, みんなが解せない光速度不変は本当か、エーテルはあるか、等すべて解決しました。 おそらく、きわめて近い未来にニュートン、1904年 1914年以上の大センセーションが世界を覆うと思います。 皆さんついてこれますか? ゲーデル解、タイムマシーンについてもいくつかわかりました。 それと、 特殊相対論・一般相対論の問題や、パラドックスやわかっていない点、 双子のパラドックスの解決、 説明できない点、 GPSの理論的問題などがあったら何でもいいので教えてください。 (仮に、ネットで検索して書かれてる様な問題だけでなく、システムに理念から言っても問題があれば特にそれがほしいです。欠陥や足りない部分と置き換えてもいいです。) 最後に、 mixi(プロフィール等があって発信者の証拠が残る。)で 概念を書いて行って、 数式のところだけは知り合いの講師(東大数学科出身)に送ろうと思っています。 もし、万が一億が一京が一私が奇跡的に素晴らしい発見をできたなら、 これから、世界を変えるにあたってどうするべきでしょうか? アドバイスお願いします。

  • パラドックス

    もし、様々なパラドックスを一つの共通した論理(理論?)で説明できる としたなら、それは何を意味するのでしょうか?

  • べき零のパラドックス?

    「環Rにおいてx^m=0(x∈R)なるm∈Nが存在する時、xはべき零であるという。」 ここで、ふと思ったのですが xがべき零なら、xの値は0だと思います。何故なら x=x・1=x・(x・x^(-1))=x・(x・1・x^(-1)) =x・(x・(x・x^(-1))・x^(-1)) … を繰返して … =x・(x^m・x^(-m)) =x・(0・x^(-m)) =0 よって、x^m=0なら任意のn∈Nに対してx^n=0 となったのですがこれは間違ってますでしょうか?

  • 0割のパラドックス???

    (x^2-1)/(x+1)=(x-1)(x+1)/(x+1)=x-1 となるのですが、 これって、x=-1の場合、式の値は-1-1=-2となります。 しかし、元の式でx=-1なら、分母=0となり、割り算を実行できません。 なのに、因数分解して、代入すると、-2という結果がでます。 疑問は、元の式に、x≠-1 という条件が書かれていないにもかかわらず、 x=-1の場合、式の値は-1-1=-2となることが納得できません。 どなたか、解説願います。

  • いろいろなパラドックス

     最近パラドックスっておもしろいなぁ~などと思っているのですが、 「アキレスは亀に追いつかない」「クレタ人?は嘘つきなのか」等 素人でもとっつきやすいパラドックスの逸話をご存知の方是非おしえてください。  検索したんですけど、ウラシマ効果ばっかりで・・・  あ~~カテゴリー間違えたかなぁ~。でもこっちの方がいい回答 来たりして・・・これもパラドックス?

  • パラドックス?

    どのカテゴリに質問して良いのかわからず、 とりあえずここに質問させていただきます。 すごくつまらないことなのですが、 あるひとつの理論に対して、それとは全く逆の理論があるとして、 ↑これを表す物として「逆説」の意味を持つ「パラドックス」という言葉が検索でヒットしますが、 「パラドックス」とは別の言葉で、これと同じ意味合いを持つ言葉ってご存知ではないでしょうか? 以前、「パラドックス」とは異なる言葉(言い方)で、 上記のような"逆説のような"意味を持つ言葉を聞いた覚えがあるのですが、 ※厳密には逆説という意味では無かったかもしれませんが、 そのようなニュアンスの事を表す言葉です。 その言葉が何だったのか、ド忘れして思い出せず、すごく気持ちが悪いです(笑) かすかな記憶では、例えば「パブロフの犬」のような言葉で、「パラドックス」と同じように 基本的にカタカナ表記の単語(名詞)だったと思います。

  • 面白いパラドックス系教えて

    きつね、にわとり、米、の川渡り アキレスと亀 3つの箱で1つ選んでその後変更すると当たる確立があがるやつ のようなので、わりと簡単なものを (あまり難しいと理解できないので)

  • パラドックスについて

    パラドックスについて色々と質問があります。教えて下さい。 ・全能のパラドックスは、自己矛盾のパラドックスですよね? ・抜き打ちテストのパラドックスは、死刑囚のパラドックスと同じですよね? ・パラドックスというのは、前提や論理が間違っているからこそ結論がおかしくなる疑似パラドックスがほとんどですが 中には前提や論理は正しいはずなのに、全く相反する二つの結論が同時に導かれる真のパラドックスも存在しますよね? その真のパラドックスを知りたいので、どんなものがあるか教えて下さい。 よろしくお願いします。