古典論理は可換環論なんだよ - 檜山正幸のキマイラ飼育記 (はてなBlog)
酒井さんのコメントに対して、 {true, false}と{0, 1}の対応でも、ほとんどの場合trueを1にしますが、trueを0にしたほうが計算がスムーズな状況もあります。 なんて応えたわけですが、これでフト思い出したことがあります。 以前、「イデアルと論理」つうネタでいくつかのエントリーを書いたことがあるのですが（「はてなブックマーク - ideal+logicに関するm-hiyama-taxonのブックマーク」参照）、中途半端にうっちゃってあるなー、ダハハハ。 未完（永久にか? ^^;）の「イデアルと論理」シリーズの最初のほうでは、普通の（つまり、可換環の）イデアルを紹介してますが、最終的には論理の（つまり、ブール代数の）イデアルに結びつけようと思っていたわけです。で、「どうやって結びつけるのか」という筋書きは今日説明しようかな、っと。（とはいえ、基本的に自分の備忘用ですけど。）
ゲーデルの不完全性定理を代数学を使って表現してみた - とりマセ
『代数学は得意だけど，数学基礎論とかさっぱり分からない．論理とかマジイミフ』そんなアナタを対象に，ゲーデルの不完全性定理を解説してみよう！ のコーナーです． 論理学と代数学（可換環論）との対応については，檜山さんによる素晴らしい記事があります： 古典論理は可換環論なんだよ - 檜山正幸のキマイラ飼育記 ただ，『論理学といえばまずコレ！』とも言うべき『ゲーデルの不完全性定理』の代数学的表現については書かれていないようなので，ちょっぴり魔が差して，ここでゲーデルの不完全性定理の代数学的な表現を与えることにしました． だが，単にゲーデルの不完全性定理を代数学で表現するだけじゃあつまらない……倍プッシュだ……！というわけで，プラスアルファとして，その他色んな分野との関わりを含めて紹介します． 0. 理論は対応する代数を持つよ！： リンデンバウム代数 まず，論理学と代数学を対応させる第一の架け橋
数学は上から目線で : 404 Blog Not Found
2009年08月25日08:30 カテゴリMath 数学は上から目線で ああ、もうフィールズ賞を狙えなくなってしまった私がきましたよ:-) 計算の速い子供が数学者に向いているのではないという話 - やねうらお−よっちゃんイカを食べながら年収1億円稼げる(かも知れない)仕事術 しかし、「算数」の成績が良かった者が、「数学」の成績も良いかというと話は全然違ってくる。算数の成績は良かったのに中学に入ってから授業についていけなかったという人は多くいるだろう。私が思うに、「算数」が出来ることと数学者としての適性とは全く別物ではないかと思う。 「数学者としての適性」ともなると、どこまで数学が出来ればOKか、という問題は確かにある。 実は私はかなり長いこと数学者を狙っていた。が、それだけを狙うにはあまりに高い目標だとも感じ、常に「滑り止め」も確保していた。結果論的にプログラマーというのはその「滑り止め」
数学は体力だ!
木村 達雄 数学系教授(当時) 初出: 筑波フォーラム 45, 104-107, 1996年11月 （筑波フォーラム編集室了承済） 1．研究室の様子 私の研究室は代数学，とくに代数幾何学，代数的整数論（及び代数解析学）などの研究をしていますが，特に概均質ベクトル空間の研究者が育っています。 大学院生たちの人数が多いので，上の者は下の者を指導し，同じレベルの者は互いに教え合うという原則でやっています。また頭脳も体の一部という考えから体力をつけるよう注意しています。数学の才能の開き方は人それぞれ実に異なるので，才能とか素質については余り言わず，ねばり強い努力を勧めています。 数学の内容そのものを一般にわかりやすく説明するのは大変難しいので，ここでは研究室で学生や院生を指導する時の考え方のもとになった数学に関する私の経験などを述べてみます。 2. 数学は体力だ（ヴェイユの言葉） 一般に世間
マルコフ過程 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "マルコフ過程" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2018年1月) マルコフ過程（マルコフかてい、英: Markov process）とは、マルコフ性をもつ確率過程のことをいう。すなわち、未来の挙動が現在の値だけで決定され、過去の挙動と無関係であるという性質を持つ確率過程である。 このような過程は例えば、確率的にしか記述できない物理現象の時間発展の様子に見られる。なぜなら、粒子の将来の挙動は現在の挙動によってのみ決定されるが、この性質は系の粒子数が多くなり確率論的な解析を必要とする状態にも引き継がれるからである。 ロシア人
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
