タグ

logicに関するhorihorioのブックマーク (3)

  • Math - 01者で読んでいないと恥ずかしい必読論文 : 404 Blog Not Found

    2010年09月30日03:30 カテゴリMath Math - 01者で読んでいないと恥ずかしい必読論文 これは恥ずかしい。 10代で読んでいないと恥ずかしい必読書 - その1 - PictorialConnect 何が恥ずかしいって、なんといってもその分量。 必読っていうなら、なるべく短くなくちゃ。 Binary Lambda Calculus and Combinatory Logic 読むべきなのは、こちら。 John's Combinatory Logic Playground http://homepages.cwi.nl/~tromp/cl/LC.pdf わずか20ページのこの論文は、著者が見いだした Binary lambda calculus (以下BLC)と Binary combinatory logic (以下BCL)の簡潔な説明であると同時に、Binary抜きの

    Math - 01者で読んでいないと恥ずかしい必読論文 : 404 Blog Not Found
  • 数学を勉強することの意味――「1+1」の思想 - on the ground

    勉強することの意味を尋ねられたらどう答えようかな、などとはよく考えることがあるけれども、今日は特に数学に限定して考えてみようか。先日、数学を勉強するのは論理的思考を養うためだという旨の説明を横耳で聞く機会があって、それも一つの説明だろうなとは思いながら、ただそれだと国語との差別化が難しくなるだろうと感じていた(実際、その人は数学≒国語だと結論したのである)。 他の説明(説得?)の仕方としては、数学は現に「必要」になるし「役に立つ」んだということを示す方法や*1、数学は意味など無くても単純に楽しいものなんだよと見せつけるアプローチなどがあるのだろう*2。ただ、これらは誰にでも当てはまるわけではないという意味で、論理的思考の訓練であるという説明に比して汎用性は低いように思う。そこで、一種のトレーニングのためであるという説明の方向性を維持しつつ、国語とは区別された数学の独自性を損なわない形で論を

  • 背理法を使うとき忘れてはならないこと - hiroyukikojima’s blog

    週刊東洋経済の9月1日号に載る(はずの)原稿を書き終えた。 その中に、キドランドとプレスコットがノーベル賞を受賞することとなった「動学的不整合性理論」の解説を書いた。(この理論については、週刊東洋経済9月1日発売号をちゃんと買って読んでくださいな)。そこで実は、筆がすべって、よせばいいのに、ちょっと「リフレ派」批判的なニュアンスを書いてしまった。打ち合わせをしているとき、編集者がどうしても書かせたいらしく、何度も焚きつけるので、ついついその尻馬に乗ってしまった、というのが正直なところだ。 「リフレ政策」というのは、不況のときに、中央銀行が「ある目標のパーセントのインフレになるまでは断固貨幣供給を続ける」とコミットして、人々に「インフレになるならモノを買わなきゃ」と決意させて、消費を刺激し、景気回復をはかる政策のことで、「インフレターゲット論」とも呼ばれる。(もちろん、高すぎるインフレ率を下

    背理法を使うとき忘れてはならないこと - hiroyukikojima’s blog
  • 1