今日の昼ごはん(フィボナッチ) - 西尾泰和のはてなダイアリー
id:TAKESAKOさんに「フィボナッチはボナッチの息子という意味だ」と聞いたのでWikipediaで調べる フィボナッチの本名はレオナルド・ダ・ピサ フィボナッチは「ボナッチオの息子」という言葉由来のあだ名、父のボナッチオも本名ではなく「単純」という意味のあだ名 ヨーロッパがまだローマ数字でXVIIとか書いていた時代にアラビア数字の体系の方が効率的であることに気づきエジプト、シリア、ギリシャなどを旅行、そこで学んだことを『算盤の書』にまとめて出版。 フィボナッチ数列は紹介しただけであって自分で発見したわけではない。 どう考えてもフィボナッチ数列より「アラビア数字をヨーロッパに紹介した男」として記憶されるべき人じゃないか！
掛け算から足し算を作る（パズルとしてやってみよう） - 檜山正幸のキマイラ飼育記 (はてなBlog)
とある論文に、パズルのネタになりそうな計算の話があったので紹介します。予備知識は特に要りませんが、けっこう難しい。 小学校で最初に習う計算は足し算です。しばらくして掛け算を習います。整数の掛け算、例えば 3×4 は、足し算の繰り返しとして導入することもできます。3×4 := 3 + 3 + 3 + 3 。 掛け算を先に習って、掛け算をベースに足し算を定義するような学習コースは聞いたことがありません。が、宇宙のどっかに、そんな順序で計算を教えている星があるかもしれません。我々地球人には不自然ですが、掛け算をもとに足し算を定義することは出来るようです。 実数の集合に対して、足し算を忘れてしまい、掛け算だけを考えます。掛け算の法則は全部使えます。具体的に書けば： (a×b)×c = a×(b×c) a×b = b×a a×1 = a a≠0 ならば、a×a' = 1 となるa'（aの逆数）が存在
３時間でわかった気になる強制法（その1-1） - kururu_goedel’s diary
ずっと予告していたやつ、半分くらい書けたので少しずつアップします。その1、その2、その3がそれぞれ１時間ずつでわかった気になって３時間で完成という方針で。歴史的経緯は無視して、「今から考えると、こんなふうにして発見されるのが一番自然だよね」というような説明をしています*1。また、Cohenの元々の論文にあるような強制法のことは全く知らずに書いています。Kunenの定式化がやっぱりベースになっているかな。 さてと。P.Cohenが連続体仮説の独立性を証明する前にさかのぼります。あなたがスタンフォード大学でSol Fefermanにそそのかされてこの問題を解こうと思い立ったとします。まずなにをやればよいでしょうか？ それがその当時にわかっていたら苦労は無かったわけですが(爆)。 ZFCが無矛盾*2であると仮定します。証明したいのはすなわちZFC+¬CHが矛盾しないこと*3。論理式の集合が無矛盾
Perspectives in Logic - Project Euclid
We can help you reset your password using the email address linked to your Project Euclid account. Registered users receive a variety of benefits including the ability to customize email alerts, create favorite journals list, and save searches. Please note that a Project Euclid web account does not automatically grant access to full-text content. An institutional or society member subscription is
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://orc.lolipop.jp/misc/category.php?category=principia
サービス終了のお知らせ
http://mono.kmc.gr.jp/~oxy/d/?date=20080830
自由群：黒゛の日記：So-net blog
東京大学大学院数理科学研究科 数理ビデオアーカイブ