「カントール」を含む日記 RSS

はてなキーワード: カントールとは

2023-12-12

[] 2023-12-12

無限は様々な人たちを当惑させてきた。周囲の物理世界で観察されるものはすべて有限。

観測可能宇宙原子の数でさえ、想像を絶するほど大きいとはいえ、やはり有限。

無限は本当に存在するのか?

数学はおそらく、無限とつながるための最も知性的論理的方法を与えてくれる。

数学的な無限理論は、19 世紀末ドイツ数学カントールによってほぼ独力で作成された。

自分アイデアを追求するために、カントールは途方もない勇気を示した。批判者たちに答えて「数学本質はその自由にある。」と書いたのである

数学では、選択された公理論理規則に厳密に従わなければならない。

しかし、そのルールの中においては、本当に想像力を羽ばたかせることができる。数学には独断偏見が入り込む余地はない。

カントールの考えは、無限大は数ではなく、むしろ集合の性質であるというものであった。

2 つの集合 A と B が与えられると、A から B への「写像(勝間さんじゃないですよ)」について考えることができる。

これは、 B の要素を A の各要素に割り当てるルールである

カントールによって導入された重要概念は、集合 A と B の間の1 対 1 対応である。これは、Bの各要素がAの1つの要素にのみ割り当てられるような、A から B への写像である

Aが有限数の要素 (たとえば、n) を持ち、B が別の集合である場合、B にもn要素がある場合にのみ、AとBの間に1対1の対応関係存在するという定義である。 

ここで、無限集合の概念を導入できる。これは、Aと有限集合Bの間に1対1の対応がないような集合Aである。たとえば、自然数の集合 N={1,2, 3,…}は無限集合である

ここまでの理論はかなり単純だ。しかしその後、カントールは驚くべき発見をした。互いに1対1対応していない無限の集合が存在するのである

言い換えれば、無限大にはさまざまなサイズがある。

たとえば、集合Nと実数の集合Rの間には1対1の対応がないことがわかる。

カントールの対角線論証とも呼ばれる証明があるが、これはかなり美しい証明と言われている。

そこでは実数の集合と自然数の集合の間には 1 対 1 の対応関係がないということが示されている。実数の「無限大」は自然数の「無限大」よりも「大きい」と言える。

この 2 つの間に「無限」は存在するのか? これは、数理論理学における最も深い問題の 1 つである、有名な「連続体仮説」につながる。

2023-11-11

無限の」を連呼するやつは無限のすごさがわかっていない

無限コンテンツが溢れている」みたいな、無数と言えば良いところを無限と言うアホ。

いかなる大きな有限よりも無限は大きい。特異点を利用したブラックホールストレージでもない限り、無限コンテンツなど存在しない。

それどころか、空間上に任意の2点を置き、この間の点の数を数えたら無限ではなく有限であるという可能性が(物理学的には)ある。観測可能宇宙無限ではない。

そうすると、なぜ人々が「無数」を「無限」と言ってしまうのか、なんとなくわかってくる。つまり数学音痴無限というものの正体を全くわかっていないから。

カントールさえ、実数濃度の無限想像して錯乱したのだから無限連呼するような奴は無限についてちっともわかっていないのである

2023-05-21

anond:20230521163044

線を無限個敷き詰めても線は線だ。高校で線を平行移動したら面になるみたいな話に毒されたんだろ。

点が無限個あるのに長さはゼロというカントール集合という実例がある。これを一次元あげただけの話だ

2021-07-18

anond:20210718192728

WolframAlphaで④の式を計算させたら0が出力されたぞ。

https://ja.wolframalpha.com/input/?i=x%E3%81%8C%E7%84%A1%E9%99%90%E5%A4%A7%E3%81%AB%E8%BF%91%E4%BB%98%E3%81%8F%E3%81%A8%E3%81%8D%E3%81%AE+%28x%5E2%29%2F2%5Ex%E3%81%AE%E6%A5%B5%E9%99%90

ちなみに④から③を導くことはできないぞ。無限大同士を不等号で比較することはできないからな。

残念ながらあんたは、カントール以前に高校数学レベルの極限すら理解できていないぞ。

anond:20210718161719

数学という学問は「反例があったら、仮説を否定できる」という学問なんだよな?だったら、数学的な問題計算機で処理できなければ「計算機科学=数学」を否定できるのだろ?なら、今からやってやる。

f(x) = x ^ 2, g(x) = 2 ^ x とする.

② x に無限に大きくなるときf(x) とg(x) は共に無限に発散するが、

数学的には lim が「x →∞」のときf(x)〈 g(x) と言える。

④ なぜならば lim が「x →∞」のとき、(x^2)/(2 ^ x) は 0 に収束するからだ。

これは数学的には合っているだろ?歴史的にはカントールがこの難題をクリアしてくれたのだろ?俺は大学数学科じゃないか不勉強なのは認める。ただ、上記の主張は数学的には合っているはずだ。

じゃあ、計算機無限比較するとどうなるか?これから書くことは、IEEE 754 といった現実世界プロセッサで語るぞ。


③' 計算機では lim が「x →∞」のときf(x) 〈 g(x) と言えない。

④' なぜならば lim が「x →∞」のときf(x) と g(x) は +∞ という二進法上の値となり「等値」となるか、「比較できない」ものになる。

⑤' 以上から、「数学=計算機科学」ではないと言える。

反例の反例が来るだろうから、こっちも否定しとくぞ。たとえば、Haskell のような遅延評価をする言語では ⑤ の「(x^2)/(2 ^ x) は 0 に収束する」という記述可能ではある。ただ、それはアルゴリズム的に Haskell記述できるからであって、メモリ上やプロセッサ上では扱えているわけではない。よって、この「反例の反例」は否定できる。


俺の言っていることは、おかしいか

2019-08-12

anond:20190812161350

存在する全ての増田を列挙することはできない」ことはカントール対角線論法によって説明される

2018-11-21

anond:20181121003311

現在私が抱えている10課題

・「隠れた変数」の発見によるEPR paradox証明

・いわゆる「主客問題」の解決

カントール対角線論法を超える方法論による「実無限」の証明

・「私」と「現在」と「ここ」と「同一性問題解決

・「言語」と「論理」と「物自体」との関係性の規定

ライプニッツの「普遍数学」に倣った「普遍統計学」の確立

・「普遍統計学」を応用した株価予測技術の開発

純粋唯物的脳科学アプローチによる「倫理」「美」「目的論」等の「価値問題」の完全処分

・余白が足りない

2014-05-12

http://anond.hatelabo.jp/20140512160541

カントールの思う壺、みたいな話を言ってました。

数学担当の教師が声がでかいだけで説明がわかりにくいんです。

2011-08-18

http://anond.hatelabo.jp/20110818122254

(優秀でない)文系はすぐ曖昧な土台の上に雰囲気だけで言葉遊びを展開するから始末におえないね

突っ込みどころが多すぎていちいち書いてられないけど、とりあえずカントール対角線論法でググって出てきたページを熟読したらいいんじゃないか。

答えを言うと、君の言いたいことに対して言葉比喩表現概念の選び方が稚拙すぎるから突っ込みどころ満載になってるんだよ。

2009-08-08

お、カルト

ホッテントリ読んでいたら、昔2chに投稿した駄文のことを思い出した。ググってサルベージしたので、ちょっと修正してここに書く。ちなみに、内容についてあまり突っ込むな。いろいろな意味で。

量子オーディオ

オーディオ新しい波に乗り切れなかったシュレーディンガーは、 コペンハーゲンオーディオマニアに向けてこういうことを言った。

完全防音の部屋の中にオーディオセットがある。外から鍵をかけて密室にした後、目覚まし時計によってオーディオセットが演奏をはじめる。このとき、コペンハーゲン派の立場だとつぎのようになるぞ。

すなわち:

  • このオーディオシステムは音がよい状態と音が悪い状態が重ねあわさっている。
  • 部屋の扉を開けて音を聞いた瞬間に状態が収束して音のよさが決まる

これは明らかにおかしい。

オーディオシステムの音のよさは試聴とは無関係にあらかじめ決まっているはずだだから、コペンハーゲン派のオーディオ解釈は誤っている

しかし、ニールス・ボーアは直感に反してオーディオシステムの音は聞いてみるまでわからないだけでなく、聞いてみるまで性能すら定まらないのだとあらためて主張した(聞くまで無調整と言う意味ではない)。

これが有名なシュレーディンガーオーディオシステムというパラドックスだ。

相対論オーディオ効果

昔、音のよさには絶対的な基準があるという説がもっぱら主流だった。だが、こうすると音のよさが見かけの上で無限大になる場合があるという計算結果がでてパニックになった。困ったことに、絶対基準があると仮定して行ったブラインドテストがこれを否定した(マイケルソン=モーレーの実験

その後、1905年アインシュタインが音のよさには相対的な基準しかなく、かつ上限が決まっていると仮定した理論展開を行う論文を書いた。これが特殊相対性理論だ。この衝撃的な論文のあと、加速する車の中のカーオーディオについても適用できる音響理論をうちたてたのが有名な一般相対性理論だ。相対性理論からは、「一生懸命作ったオーディオなのに友達のシステムの方がよく聞こえる」ことが理論的に導き出される。これは日本古来の経験則、「隣の芝生は青い」ともよく一致する。

音質の不完全性

数学者だったクルト・ゲーデルオーディオマニアだったことでも有名だ。

彼はよい音を求めていつもパーツ屋に通っては怪しい部品だのケーブルだのを買い求めていた。友人はそれを揶揄して笑ったが、完璧主義者だったゲーデル自分が買った高級オーディオケーブルが実はやくたいもない屑ケーブルであることを認めず、必死で言い訳を織り上げた。しかし、優れた数学者だった彼は自分言い訳にほつれがあることに気づいた。次の二つを両立する言い訳が成り立たないのだ。

彼は後に有名なゲーデル不完全性定理発表することになる。

すなわち:「完全かつ無矛盾な小売系は存在しない」これは真に偉大な発見で彼の名声を高めた。しかし、後に音の滑らかさを追い求める連続体仮説に思いをめぐらすうちに、カントールと同じく狂気の闇へと落ちていくことになる。

オーディオ統計力学

日本経済が絶頂期にあった80年代初頭、一部のオーディオメーカーは将来市場が頭打ちになりかねないことを予見して体系的な市場アプローチ、すなわちマーケティングを導入し、市場の行方を占うことにした。

このとき問題になったのはオーディオマニア層だ。口うるさいくせに雑誌で発言力のあるマニア市場としては小さいが無視できない。そこで、マニアがどのような振る舞いを行うか、その統計的な側面が研究された。

もっとも有名なのは「二人以上のマニアが同じ意見を持つことはない」という仮定に基づいて行われた研究だ。これは人の話は聞かないくせに、同意もしないというマニアの実に嫌らしい振る舞いを見事に反映したモデルだった。

このモデルに基づく市場動向の予測は、研究者名前を取って、フェルミディラック統計と呼ばれる。この統計は各社が採用して市場予測に使い、大きな成果をあげた。

なお、マニアも興奮してくると見かけの意見らしきものをつなぐことができなくなり、オーディオ好きの高校生と同じになる。この場合は古典的な統計が適用可能になる。すなわち、マニアも興奮すると大衆程度の振る舞いになり、ガウス分布に従うようになる。そのため、オーディオフェアなど興奮しがちな場所では古典統計が使われる。

同じころ、排他的でないマニアを冷静にすると、全員がひとつの意見をもつようになるというボーズ・アインシュタイン統計発表された(アインシュタインは先の相対性音響論を発表したのと同一人物)。しかし、企業の企画担当者が「排他的でなく冷静な」マニア想像できなかったことからこの統計採用されず、一部研究者がその実現性を予想しただけだった。

転機は90年代半ばに訪れた。自分意見より人の顔色を尊重する日本人に対して行われた一連の実験から、ボース・アインシュタイン統計が適用可能な場合が示された。一群のオーディオマニアを集め、彼らを数日にわたって否定することで体力と自意識を削り取ることにより、極度の低興奮状態に置く。この状態では部屋の中のすべてのオーディオマニア尊師の言うとおり提示された オーディオセットはすばらしいと一様に誉めた。この歴史的な成功以来、同様の実験が都内各所の道場で行われたが、その後この実験危険であるとして禁止されている。

やたらテンションの低いオーディオマニアが全員同じ意見を述べるようなキモイ状態は、ボース・アインシュタイン凝縮と呼ばれている。

2009-01-06

[][]クィンティリアヌスくらい読めよ

それは違う。

それらは社会的に構築された“創られた伝統”であって

ジェンダーポリティクスの批判対象になるべきものだろ

簡単に言えば、消費行動と文化的アイデンティティがエポケー

された、「異化作用」の階層的な二項対立の形而上学こそが

ジェンダーベリフィケーションなのよ。“サバルタン

語ることができない”とはこういう意味なの。

このあたりを数学的に言えば、位相線型空間内部の真性特異点

拡大の自己同型群の閉部分群と等長変換されるわけだろ。

つまりゲオルグカントール予言してゲーデル不完全性定理

見事に証明されたってワケ。

あるいはル・クレジオ的な文学におけるクイア理論的な

ナラトロジーでもいいんだけどさ。

あなたのディスコース(言説)のトリヴィアルに神経症的な

部分がエクリチュールの過程で無残にも前景化されたわけで。

そういったことが私のディコンストラクション脱構築)の

射程に入るのよ。ポストコロニアルな“政治”のレトリックだね。

クィンティリアヌスくらい読めよ。

 
ログイン ユーザー登録
ようこそ ゲスト さん