無が有を生む数学なんて作れないよね

質問

ビッグバン理論は無が有を生み、これを数学的に証明したとしているが、
ゼロで割る数学が作れないよーに、
無が有を生む数学なんて作れないよね。

回答No.4

noname#221368 · ベストアンサー

自分は、「無」と「有」の定義にはこだわりません。

＞ビッグバン理論は無が有を生み、これを数学的に証明したとしている・・・

　無が有を生み出す「ように見える」瞬間は、とりあえずビッグバンを外挿した数学の、適用範囲外だったと書いたはずです。なのでビッグバン理論は、無が有を生む事を数学的に証明していません。またその後の発展も、無が有を生み出す数学を作る方向ではありませんでした。これも書きましたよね？。人の話は、ちゃんと聞きましょう。

＞ゼロで割る数学が作れないよーに、
＞無が有を生む数学なんて作れないよね。

　ゼロで割る数学が作れないのは、体の公理を受け入れる限り、加法の0元に対して除法を定義すると、内部矛盾が起こるからです。この時には、体の乗法の用語を用いて、除法もちゃんと定義しないと駄目です。要するに、ゼロで割る数学が作れないとは、体の公理を受け入れるという制約条件付きの体の内部事情に限った話です。これと、無が有を生むと解釈できる数学理論は作れないという話は、恐らく論理的に無関係です。

　断言できると言うならば、［ゼロで割る数学が作れない］　⇒　［無が有を生むと解釈できる数学理論は作れない］を、数学的に証明して下さい。証明しなければ、断言した事にはなりません。こういう事は、個々に調べるしかないんですよ。

　自分はいくつかあげた例から、論理的に無関係と思っているので、証明はできないと思います。

　最後に。そろそろ数物板として苦しくなってきたと思えるので、以後発言するとしても、もう二つ目の板に、自分は移動します。

お礼

＞自分は、「無」と「有」の定義にはこだわりません。

その姿勢、正しいと思います。

＞なのでビッグバン理論は、無が有を生む事を数学的に証明していません。

初めからビッグバン理論なんて何かのギャグであると思ってた。

＞またその後の発展も、無が有を生み出す数学を作る方向ではありませんでした。

やはり、無が有を生む数学なんて有り得ないゆーこと。

思った通りであった。

やはり、ビッグバン理論はただのギャグであった。

回答No.19

B-juggler

え～４回目。　Ｔａｃｏｓａｎ　こりゃダメだ。

申し訳ないけど、空集合が「無」なら

その補集合を取ることはできないね。

　＃「ないもの」の補集合は存在しないのだから。

だから何度も書いているように、

「空集合」は「無」ではない。

「空集合」という存在である以上ね。

｛｝　こう書けるでしょう？　要するに容器はあるけど、中に何も入っていない。

　＃お皿の上に何も乗っていない状態なわけね。

　＃だからペアノ公理なんかでは　０　と同値と見てはじめてるんだと思う。

　＃空っぽのお皿は、皿屋敷は誰だっけ？　数えられるからね～。１枚２枚と。

「真空」という考え方に少し似ているかな？

実際には「空間」や「時間の流れ」がそこにある。

どなたか書いてあるけれど、実質「無」を定義することが相当に難しい。

もしかすると、「空」（般若心経とかにでてくるね＾＾）の方が簡単。

これ以上先に進めるとも思えないけどな～。

これも何度も書いているし、書かれてあるけれど、

ビッグバン　のところからやり直されたほうがいいかもね。

高エネルギーの集中点、特異点　が急激に膨張した　だけのことだから、

それは　有　⇒　有　の変性に過ぎない。

この話は数学ではできないよ。

(=^. .^=)　ｍ（＿　＿）ｍ　(=^. .^=)

回答No.18

Tacosan

当然認識できているだろうけど
「数学的に有意義」
が未定義.

あと, 「測度」を持ち出すときに「どのような空間で考えるのか」を指定しないというのは全くもってダメダメ.

回答No.17

ringohatimitu

＞＞空集合の補集合をとるとは、無から全てを生み出すことを意味するので、せめてと言ってもこれは出来ない相談ではないかと思うが・・・

え？
あなたこーゆー「無から有を生み出す数学的変換」が欲しかったんじゃないの？
「無は空集合です」と言ってるからには集合という概念はご存知で集合に対する演算は許されるはずでしょ。何で、全てを生み出すことを意味する、「から」、これは出来ない相談になるのか、さっぱり分かりませんけど。

それから、前の方も言ってますけど、ビッグバン理論は「無」から始まってなんかいませんよ。特異点から始まったと言ってるに過ぎません。もちろんあたなの言うところの「有」から始まっています。

最後に、これは個人的な考えですが、「無」というものは数学的にはもちろん人間によるあらゆる手段をもってしても定義出来ないものだと思っています。というのも、定義した時点で人間の脳にはその存在があるからです。「無」という状況を定義した時点で（その定義したものが）既に「無から有への何等かの変換」を与ていることに気付いてください。

回答No.16

Tacosan

せめて「補集合をとる」という演算くらいは許してほしい.

お礼

無が有を生む数学の定義について暫く考えたのですが、

無を数学的に定義すると、空集合Φ以外には考えられないので、無の定義は変えることはできません。

そこで有の定義を変更します。

これでどうでしょうか。

－－－無が有を生む数学の定義－－－

無とは何もないもの、空集合Φのこと

有とは正の測度をもつ集合、例えば[0,1]など

生むとは数学的に有意義な写像、関数、変換を導くこと

無が有を生む数学とは、無を定義域とし、有を値域とする
写像、関数、変換を持つ数学のこと

補足

＞せめて「補集合をとる」という演算くらいは許してほしい.

空集合の補集合をとるとは、無から全てを生み出すことを意味するので、せめてと言ってもこれは出来ない相談ではないかと思うが・・・

回答No.15

hiccup

あなたは No.1 のお礼の中で述べられている「無とは何もないもの、空集合Φのこと」に対して、No.10 のお礼と補足の中で、ご自身でダメだと言われています。
私と何人かの方は、あなたの無の定義がおかしいことに気付き、少なくとも私は揚げ足取りで、そこにツッコミを入れているのです。
あなたの定義では、無が１つの集合になっています。さらに空集合は数学的対象として存在するわけですから、あなたの望まれているものとは違っているでしょう。
したがって、あなたは無を再定義しなければなりません。話はそれからです。

それから、no.11 のお礼にある「もし無が有を生む数学が簡単に作れたら、経済学は成り立たんでしょ。」についてですが、「もし無が有を生む数学が作れたら、経済学は成り立たんでしょ。」という質問だとしても、仮にビッグバン理論が無から有を生み出すことを証明した理論だとして、これが経済学の何かの理論を破綻させるということが、私の浅い知識と足りない頭では想像すらできません。

お礼

＞私と何人かの方は、あなたの無の定義がおかしいことに気付き、・・・

無を数学的に定義すると、空集合Φ以外には考えられないので、無の定義は変えることはできません。

そこで有の定義を変更します。

これでどうでしょうか。

－－－無が有を生む数学の定義－－－

無とは何もないもの、空集合Φのこと

有とは正の測度をもつ集合、例えば[0,1]など

生むとは数学的に有意義な写像、関数、変換を導くこと

無が有を生む数学とは、無を定義域とし、有を値域とする
写像、関数、変換を持つ数学のこと

補足

＞仮にビッグバン理論が無から有を生み出すことを証明した理論だとして、これが経済学の何かの理論を破綻させるということが、私の浅い知識と足りない頭では想像すらできません。

もしビッグバン理論により無から有が生まれたのであれば、その理論を応用して無からビルが建っても不思議ではないと思うのですが。

回答No.14

lv4u

えーと、数学は、現実の世界を反映する必要はありません。宇宙の生成を説明するビッグバン理論に使う数学がどんなに正しくとも、それと、ビッグバン理論との正しさは、何も関係ありません。

数学は、公理を決めて、それに従って論理的に展開していくだけのことです。「無から有になる」というような公理を決めて、それが論理矛盾なく、いろんな定理を導けるなら、それで数学的にはＯＫってことです。
もし、そこで得られた定理とか、活用した結果が現実の結果と似通っているなら、「この数学理論は世界の秘密を解き明かした！」と勝ち誇ろうが、「たまたま一致するケースが多いだけ」と批判的に見ようが、それはまた、未来への問題となるだけのことですね。

なので、質問者さんの

>>ビッグバン理論は無が有を生み、これを数学的に証明した

という引用文は間違いです。数学的に証明しても、それが宇宙の誕生の秘密とは、何の関係もありませんし、何の証明にもなっていません。

>>無が有を生む数学なんて作れないよね。

数学的には、そういう公理を作って、論理破綻が無ければいいだけです。複素数は、ある意味、「無から有」に近い概念だと思います。ただし、その「物理的意味」を考えるのは、数学者ではなく、物理学者への問題であり、そして、そういう「問いかけ方」は、ニュートン力学のアプローチとは違ったものになる気がします。

そして、現代数学がさらに今一歩進んでくれれば、宇宙創世の秘密にちょっと近づけるかもしれませんが、ＵＦＯとか霊界関連の書籍を読んでいると、「まだまだ地球の数学は遅れている。複雑な電子や素粒子の構造を地球のスーパーコンピュータで解いていたら、うん百年以上かかるだろう」なんて記述もありましたからね。

ニュートンが万有引力の法則を証明するために、微分・積分学を生み出したように、（ライプニッツとの先行争いはあるが）ビッグバン理論も、それに匹敵するような、大きな数学的成果を産み出して、とりあえずは天体の３体問題程度は解いてほしいもんです。

お礼

無が有を生む数学の定義について暫く考えたのですが、

無を数学的に定義すると、空集合Φ以外には考えられないので、無の定義は変えることはできません。

そこで有の定義を変更します。

これでどうでしょうか。

－－－無が有を生む数学の定義－－－

無とは何もないもの、空集合Φのこと

有とは正の測度をもつ集合、例えば[0,1]など

生むとは数学的に有意義な写像、関数、変換を導くこと

無が有を生む数学とは、無を定義域とし、有を値域とする
写像、関数、変換を持つ数学のこと

回答No.13

B-juggler

Ｎｏ．８　です　（三回目）

σ(・・*)のところには何もないけど？

空集合　のみを「無」と定義する。

ということは、つまり　０　も　「有」なんだね。

それならば、ペアノ公理も成立しないし、集合論自体が破綻します。

つまりこうなると、数学全てが破綻する。

　＃書いてるけど、不完全性定理に落ちるね。

もちろん、パラドックスは、なんぼでも作って構わないけど～。

　＃パラドックスも不完全性定理そのものだしね。

　＃不完全性定理を知らないわけではないでしょう？

経済学だけど、「無から生まれた有」を計算するために作られてはいない。

「有」に対してのみを計算するための、一種の数学でしかない。

「無から生まれた有」を考える経済学を作り出す必要があるのなら、

また新しく作らないといけない。　おそらくはできないんだろうね。

自己矛盾に落ちるのは分かっているから（容易に想像できるから）。

０と１の違いが正しく理解されていない気がします。

　＃言い換えれば、「無」と「有」だ。

　＃空集合は　存在しているから　「有」なんです。

　＃要素がないだけ。定義をしなおして欲しいかな。

ビッグバンは「無から有が生まれた」！　これを物理でいって見て？

この時点でおかしいと思うよ。

高エネルギーの集合体があったというのが今の主流ですから。

エネルギー準位　０　から　ビッグバンは起っていない

　⇒無から有への変性ではない。

そもそもこれは物理学。数学は関係ない。

σ(・・*)電気工学出身だからね、物理もそれなりに。

自分の意見に都合のいいところだけに、お礼や補足を付けるのは

余りフェアではないと思うけど。

　＃考え方が違うのなら、そうかけば言いだけのこと。

そうすればこっちも無駄な議論をしなくてすむしね。

失礼だけど、円周率およそ３の世代？

(=^. .^=)　ｍ（＿　＿）ｍ　(=^. .^=)

回答No.12

ibm_111

うーん、そしたら、バナッハ=タルスキあたりは
無から有を生むと言えるのですか？
http://ja.wikipedia.org/wiki/%E3%83%90%E3%83%8A%E3%83%83%E3%83%8F%EF%BC%9D%E3%82%BF%E3%83%AB%E3%82%B9%E3%82%AD%E3%83%BC%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9

お礼

なるほど面白い考えだと思います。

どーやら、ビッグバン理論ゆーのはこのあたりをヒントにしてるかも。

何せビー玉から月が作れるとか似たよーなことを言っているので。

仮想空間上でのロジックなので、現実の宇宙に適用できないことは間違いないでしょう。

しかしこれは何かの暗示なのか、何がしかへの導きなのか・・・

補足

補足：

無が有を生む数学の定義について暫く考えたのですが、

無を数学的に定義すると、空集合Φ以外には考えられないので、無の定義は変えることはできません。

そこで有の定義を変更します。

これでどうでしょうか。

－－－無が有を生む数学の定義－－－

無とは何もないもの、空集合Φのこと

有とは正の測度をもつ集合、例えば[0,1]など

生むとは数学的に有意義な写像、関数、変換を導くこと

無が有を生む数学とは、無を定義域とし、有を値域とする
写像、関数、変換を持つ数学のこと

回答No.11

hiccup

ごめん。書いてるうちにかぶってた。

お礼

ちょっと考えてみてもらいたい。

もし無が有を生む数学が簡単に作れたら、経済学は成り立たんでしょ。

回答No.10

hiccup

無を空集合とするならば、集合論があるではないか、といいたい。
あるいは数学基礎論というべきか。

参考URLにあるように、空集合から自然数を定義できる。
演算も入る。
そこから始まって、複素数体まで構成できる。

私の知る構成法ではないけれども参考になるはず。
http://aozoragakuen.sakura.ne.jp/suuron/node83.html

先の回答の二番煎じの気もする。なぜはっきり書いてくれなかったのだろうと思いながら書いた。

参考URL：

http://wpedia.goo.ne.jp/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86/?from=websearch

お礼

これはダメです。何故なら、まずいきなり、

空集合を 0 と定義する。

と始まっているので。
もしこれが通るのであれば、いきなり、

空集合を１ と定義する。

もまかり通ることになり、無意味、無意味、
完全にダメです。

補足

なぜダメかゆーと、

空集合を 0 と定義する。

とは、いきなり

無は有であると言っているに等しいので。