数学の歴史２万年＋αを２５０のマイルストーンでまとめてみた
数学の営みは、我々が想像する以上に古く長い。 先史時代の遺物にも、計数の概念や天体観測に基づいた測時法があったことを示すものが発見される。 今回は、可能な限り（というかやり過ぎなくらいに）遡り、専門研究から数学遊戯、ポピュラー文化まで渉猟し、数学の歴史を画するマイルストーン（画期的出来事）を見つけ出そうとするクリフォード・ピックオーバーのThe Math Bookが取り上げる項目を手掛かりに、人類（すらも踏み越えているのだが）の営む数学の歴史を振り返ってみる。 c. 150 Million B.C. 経路積分する蟻 Ant Odometer サハラサバクアリCataglyphis fortisは、経路積分によって巣からの位置を把握する。回り道をしながら食べ物に辿り着いても最短距離で巣へ戻る。風のために砂丘の高さが変わっても、登りのために増えた分を差し引いて、巣までの水平距離を間違うことがな
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
集合論のモデルの存在について～数学クラスタの日常～
フォローしてる数学クラスタの議論が面白かったのでまとめてみました。ちなみに僕は内容はほとんど理解してないｗけど見ててなんか楽しいのです。
これで解決！シリーズ - トップページ 超図解でわかりやすい大学数学 大学物理
偏微分の基礎 | 連鎖律・ヘッセの行列 | 線形計画法 | ラグランジュの未定乗数法 | Kuhn-Tuckerの条件 | ご注文方法 | お申し込み | profile | LS結合の基礎 | ナビエ・ストークスの方程式 | ベクトルポテンシャル ｜よくあるお問い合わせ ｜ トップページに戻る | 2004-2021 Isigas.inc. All rights reserved.
萌え理論Blog - 数学解説・計算方法まとめ
数学・算数のリンクを集めました。「高速掛け算メソッド」では、筆算中の掛け算と足し算の操作を別に分けることで、高速かつ正確に計算する方法が紹介されています。「こんなの学校で教えてくれなかった！」また、記事の最後にパズル「ルービックキューブ」関連をまとめました。誰でも解ける攻略法や、数十秒で解く上級者の記事があります。 計算法 高速掛け算メソッド「繰り上がり分離法」 かけ算2.0 | i d e a * i d e a sta la sta - 線を引くだけで簡単にかけ算を解く方法 ネイピアの骨 - Wikipedia ITmedia Biz.ID：複利計算を“暗算”で行う ソフト・サービス ルービックキューブの解法を必ず見つける「Rubik’s Cube Solver」 - GIGAZINE グラフ用紙や方眼紙などを作成する無料ネットサービスいろいろ - GIGAZINE 超美麗なフラクタル
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
