数学を教える人が読んでおきたい論理の本 - hiroyukikojima’s blog
ぼくは、以前から、論理とゲーム理論とをクロスオーバーさせた本を書きたい、というテーマを持っており、それは拙著『数学的推論が世界を変える〜金融・ゲーム・コンピューター』NHKブックスで果たすことができた。 この本を書くために、今まで、けっこうな冊数の数理論理学の教科書を読んできた。その中でめぐりあったのが、ゲンツェンの自然演繹と呼ばれる推論規則のセットであった。推論規則というのは、数学の証明で用いられる推論をできるだけ少ない数でセットにしたもので、おおわくではヒルベルトの体系、ゲンツェンのシークエント計算、ゲンツェンの自然演繹、というのがあって、それぞれの演繹能力は同じだけど、体系自体は異なるので、何をしたいかによって有利不利(向き不向き)がある。この３つの中で、普通の数学の証明で利用されている推論の方法は自然演繹が最も近いものである。 ぼくは自然演繹の体系を、鹿島亮『数理論理学』朝倉書店で
数学とは何か - hiroyukikojima’s blog
昨年暮れに衝撃を受けたのは、YUI完結のニュースだった。ほとんどYUIの音楽しか聴かない生活になっていたので、「おりゃ、いったい今後、何を聴いて暮らせばいいだべさ」と真っ暗な気分になった。まあ、YUIは、新年早々から単独の音楽活動を再開しているそうで、ぼくらの前に再登場するのもそんなに遠いことじゃないのかもしれないが。。。 しか〜し、である！ 捨てる神あれば拾う神あり。新年から、実は、別のミュージシャンにはまってしまっている。しかも、男性ミュージシャン。しかも、V系。どうしたんだオレ、って感じだ。 それは、雅-Miyavi-っていう人。知ったきっかけは、暮れのFNS音楽祭。YUIを観ようと流し観してて、ぶっとんでしまった。和田アキ子のバックを弾いてたMiyaviのギターにあまりにびっくりして、それからyoutubeで彼のプレーをいろいろ観てみた。そして、衝撃を受けた。どうして今まで、こんな
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp： 確率的発想法~数学を日常に活かす: 本: 小島 寛之
Amazon.co.jp: 文系のための数学教室 (講談社現代新書): 小島寛之: 本
