なんかすごいサイトを見つけてしまいました． Metamath Proof Explorer Home Page 数学の基礎付けに関する 20 世紀の記念碑的偉業と称えられながらも，歴史上何人がこれまで読破したのか，と常にネタにされる Principia Mathematica （12 万円，2000 ページ！） に，1+1=2 の証明が載ってるっていうのはわりと有名な話だと思いますけど． 追記 : Radium Software Development 2006-06-30 : Proof that 1 + 1 = 2 # ちなみに，三巻組の大著の全文をオンラインで見ることができます．"From this proposition it will follow, when arithmetical addition has been defined, that 1+ 1= 2."． このサイ
数学に関する質問です。なぜ一度正しいと証明された定理が覆されることがないのか？ ということが理解できません。 「あらゆる科学理論は本質的には仮説であって真理ではありえないので、常に反証される可能性がある。そして反証された時にその理論は敗れ去る」 これは非常に納得できることです。 しかしどうして数学の場合は科学のように反証可能性のようなものがないのかがわかりません。 「論理だから」というのは自分にとっては全然自明ではありません。 そう言われると、なぜ論理だと覆されることがないのか？ という新たな疑問が生まれるだけです。 「論理だから」が本当に正しのか、そしてそれが正しいのならばどうして論理だと覆されないのか、 それともそれ以外の理由があって数学の定理は覆されないのかを教えてください。
インド式算数って、速算処方箋の寄せ集めでしょ。ロシア発のマスロフ式算数は、本質的に新しい演算を扱う奧が深い算数ですよ。マスロフ式算数を学んでも速算の役には立たないけど、背後にある数理的構造／現象の神秘に触れられるかもよ。 内容： マスロフ式算数の由来 maxとminの算数 足し算的演算 足し算的演算の実例 マスロフ和 マスロフ和の極限 プランク定数と脱量子化 マスロフ式算数の由来 1980年代に、ロシアの物理学者マソロフ（Victor P. Maslov）により始められた脱量子化（Maslov Dequantization）という手法があり、現在では、数学、物理学、工学の広い範囲に影響を与えてます。マソロフ脱量子化の入り口は、変形した足し算を含む計算です。この計算は、普通の算数と同じ簡単な法則に従いますが、エキゾチックな世界を記述する道具になります。 このエキゾチックな算数の構造は、高校生
72の孤高さと実は綺麗に割れる感じが大好きだ 「お前、数字で例えると72みたいな奴だな」 そう言われるのが俺の夢
ミルカさんシリーズは、 『数学ガール』として書籍化されました。 書籍版では、 Web未公開の章が多数含まれ、 また、Webで公開している分も、 はるかに読みやすく、わかりやすく再構成されています。 これまで公開していた内容はWeb版として継続して公開しますが、 ぜひこの機会に書籍版をお読みください。 饒舌なミルカさんと、寡黙な「僕」との数学的対話です。 回を追うごとに長くなり、数学の割合が減り、ラブコメ率が高くなっているという噂もありますが、 数学的内容はいたって真面目、きわめて真剣です。 《理系にとって最強の萌え》目指してがんばっております。 1. ミルカさん (2004年) 「回転」についての対話。 2. ミルカさんの隣で (2005年) 差分と微分についての対話。 離散系バージョンの関数探しも合わせてどうぞ。 3. ミルカさんとフィボナッチ数列 (2005年) フィボナッチ数列の一般
This webpage was generated by the domain owner using Sedo Domain Parking. Disclaimer: Sedo maintains no relationship with third party advertisers. Reference to any specific service or trade mark is not controlled by Sedo nor does it constitute or imply its association, endorsement or recommendation.
これは便利そう。ちょっとした計算を早くするための小技です。全部で10個あります。全てマスターすればかなり「頭がよく見える」かも？ 瞬時に数字を11倍する方法だとか、すぐに5倍する方法だとか。ビジネスシーンで使えればかなり有効ではないかと思います。 詳しくは以下からどうぞ。 11倍した答えを瞬時に知る方法 なにかの数字を10倍するのは簡単ですが、11倍するのも簡単だとご存知でしたか？二桁の数字限定ですが、やり方は簡単ですよ。例として52をあげましょう。 まずは52の間に(5+2)を入れます。 5_(5+2)_2 するとできあがるのがこちら。 5_7_2 そうです。52×11は572なのです。ちなみに真ん中にいれる数字が繰り上がってしまう場合は繰り上がった数字を一番前の数字に足せばOKです。例として99をあげましょう。 まずはこのように。 9_(9+9)_9 なので、 (9+1)_8_9 答え
Math isn't hard. Love is. Combining mathematical rigor with light romance, Math Girls is a unique introduction to advanced mathematics, delivered through the eyes of three students as they learn to deal with problems seldom found in textbooks. Math Girls has something for everyone, from advanced high school students to math majors and educators.
米ノースイースタン大学のコンピュータ科学部のGene Cooperman教授と大学院生のDan Kunkle氏が、3×3×3のルービックキューブをどのような状態からでも26手以内で揃えられることを証明した。これまでは27手以内が証明されている最少のソリューションだった。 3×3×3のルービックキューブ 「ルービックキューブは、SearchとEnumerationの問題に結びつく研究題材である」とCooperman氏。ルービックキューブのソリューションを導きだす過程は、AIからオペレーションに至るまで、様々な分野において異なったメソッドを比較検討する機会になるという。両氏は、大規模なテーブルを展開するために、7テラバイトの分散ディスクをRAMの拡張として利用。その上でルービックキューブのすべてのコンフィギュレーションをセット化し、1つの動きが全てのセットに与える結果を調べた。そのデータを基に
たとえば三次元空間のベクトル v=(x,y,z) それぞれに対してある数を返す関数 f(v) を考える。そしてそれらのうち「線形」な関数すべての集合を考える。関数が線形であるというのは、関数の引き数に和や定数倍を入れるともとの答えの和や定数倍になることで、式で書けば f(a v1 + b v2)= a f(v1)+ b f(v2) となる。そのような線形な関数の集合を元の空間の双対空間と呼ぶ。三次元の例であれば、そのような関数は a x+b y+c z という形の一次関数に限られる。これを(a,b,c) というベクトルと考えると、双対空間は元の空間と同じ次元を持つベクトル空間となる。 ベクトル空間 の双対空間は一般的にと表記する。 双対空間の双対空間は、ある線形関数f に対してf(v) という値を返す形になり、v の集合すなわち元の空間にもどる。 ベクトル空間として、たとえば区間で定義され
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
