Amazon.co.jp: 数学文章作法 基礎編 (ちくま学芸文庫 ユ 4-1 Math&Science): 結城浩: 本
数学を教える人が読んでおきたい論理の本 - hiroyukikojima’s blog
ぼくは、以前から、論理とゲーム理論とをクロスオーバーさせた本を書きたい、というテーマを持っており、それは拙著『数学的推論が世界を変える〜金融・ゲーム・コンピューター』NHKブックスで果たすことができた。 この本を書くために、今まで、けっこうな冊数の数理論理学の教科書を読んできた。その中でめぐりあったのが、ゲンツェンの自然演繹と呼ばれる推論規則のセットであった。推論規則というのは、数学の証明で用いられる推論をできるだけ少ない数でセットにしたもので、おおわくではヒルベルトの体系、ゲンツェンのシークエント計算、ゲンツェンの自然演繹、というのがあって、それぞれの演繹能力は同じだけど、体系自体は異なるので、何をしたいかによって有利不利(向き不向き)がある。この３つの中で、普通の数学の証明で利用されている推論の方法は自然演繹が最も近いものである。 ぼくは自然演繹の体系を、鹿島亮『数理論理学』朝倉書店で
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp: エレガントな問題解決 ―柔軟な発想を引き出すセンスと技: Paul Zeitz (著), 山口文彦 (翻訳), 松崎公紀 (翻訳), 三橋泉 (翻訳), 松永多苗子 (翻訳), 伊知地宏 (翻訳): 本
Amazon.co.jp: 数学ガール/乱択アルゴリズム (数学ガールシリーズ 4): 結城浩: 本
これなら分かる最適化数学―基礎原理から計算手法まで
Amazon.co.jp: 物理と数学の不思議な関係: 遠くて近い二つの「科学」 (ハヤカワ文庫 NF 295 〈数理を愉しむ〉シリーズ): マルコム・E. ラインズ (著), 薫,青木 (翻訳), Lines,Malcolm E. (原名): 本
Amazon.co.jp: コンピュ-タの数学: GRAHAM (著), 有澤誠 (翻訳): 本
Amazon.co.jp： 数学的思考法―説明力を鍛えるヒント 講談社現代新書: 本: 芳沢 光雄
ゲーデルの哲学―不完全性定理と神の存在論講談社現代新書
Amazon.co.jp: 暗算の達人 驚異の高速暗算テクニック: アーサー・ベンジャミン (著), マイケル・シェルマー (著), 岩谷宏 (翻訳): 本
Amazon.co.jp: 生き抜くための数学入門 (よりみちパン!セ 23): 新井紀子: 本
Amazon.co.jp：オイラーの贈物―人類の至宝eiπ=-1を学ぶちくま学芸文庫: 本
これなら分かる応用数学教室―最小二乗法からウェーブレットまで
Amazon.co.jp: 数学で犯罪を解決する: キース・デブリン (著), ゲーリー・ローデン (著), 山形浩生 (翻訳), 守岡桜 (翻訳): 本
Amazon.co.jp: 数学入門 上 (岩波新書 青版 363): 遠山啓: 本
Amazon.co.jp: 最短経路の本: R. ブランデンベルク (著), P. グリッツマン (著), 石田基広 (翻訳): 本
Amazon.co.jp: オイラーの贈物 新装版: 人類の至宝eiπ=-1を学ぶ: 吉田武: 本
Amazon.co.jp: 統計数字を読み解くセンス―当確はなぜすぐにわかるのか?(DOJIN選書27) (DOJIN選書 27): 青木繁伸: 本
[本]暗号解読―ロゼッタストーンから量子暗号まで![[本]暗号解読―ロゼッタストーンから量子暗号まで](https://cdn-ak-scissors.b.st-hatena.com/image/square/2dc86c039f2300d86c6d4a65e053d6fc0a6e65ea/height=288;version=1;width=512/https%3A%2F%2Fm.media-amazon.com%2Fimages%2FI%2F51AmXO3AKlL._SL500_.jpg)
数に強くなる（新書）: 畑村 洋太郎
