数学を教える人が読んでおきたい論理の本 - hiroyukikojima’s blog
ぼくは、以前から、論理とゲーム理論とをクロスオーバーさせた本を書きたい、というテーマを持っており、それは拙著『数学的推論が世界を変える〜金融・ゲーム・コンピューター』NHKブックスで果たすことができた。 この本を書くために、今まで、けっこうな冊数の数理論理学の教科書を読んできた。その中でめぐりあったのが、ゲンツェンの自然演繹と呼ばれる推論規則のセットであった。推論規則というのは、数学の証明で用いられる推論をできるだけ少ない数でセットにしたもので、おおわくではヒルベルトの体系、ゲンツェンのシークエント計算、ゲンツェンの自然演繹、というのがあって、それぞれの演繹能力は同じだけど、体系自体は異なるので、何をしたいかによって有利不利(向き不向き)がある。この３つの中で、普通の数学の証明で利用されている推論の方法は自然演繹が最も近いものである。 ぼくは自然演繹の体系を、鹿島亮『数理論理学』朝倉書店で
数学者が数学を「語る」ことの良さ - hiroyukikojima’s blog
数学者・黒川信重さんと、ぼくとの共著、『リーマン予想は解決するのか？』青土社、がそろそろ書店に並び始めてる頃だと思う。これは、フェルマー予想が解決し、ポアンカレ予想が解決してしまった今、最も解決が待望され、しかも、解決にかなり肉薄している予想だ。この予想について、「そもそもリーマン予想とは何か」、「どんな意義を持っているのか」、「攻略のための最強兵器、F1スキームとは何か」、「今、何合目まで来ているのか」、を縦横無尽に解説した、ものすごくホットな本なのである。 リーマン予想は解決するのか? ―絶対数学の戦略― 作者: 黒川信重,小島寛之出版社/メーカー: 青土社発売日: 2009/06/01メディア: 単行本購入: 31人 クリック: 614回この商品を含むブログ (26件) を見るこの本の特徴は、数学書としては異色の形式をしている、ということだ。最初の章に、黒川さんとぼくとの対談が二本載
0.999･･･は1と等しいか - hiroyukikojima’s blog
刊行からだいぶたってしまったが、吉永良正さんの『アキレスとカメ』講談社というたいへん楽しい本を紹介しよう。 吉永さんは、ぼくが東京出版の受験雑誌『大学への数学』や『高校への数学』に連載し出した頃、同じように連載を持った人だが、サイエンスライターとしては大先輩であり、すばらしい本をたくさん書き、また翻訳もしている。現在は、大東文化大学の先生をされているので、ライターから大学教員になった、という経歴も似ており、勝手に親近感を抱いている。何度か対談をさせていただき、いっしょにお酒を飲んだこともあるので、知人と言ってもいいと思う。ライターとして気骨を持ったかたで、物書きとして生きていく上での心構えなどを教えていただいた。 アキレスとカメ 作者: 吉永良正,大高郁子出版社/メーカー: 講談社発売日: 2008/07/02メディア: 単行本購入: 19人 クリック: 395回この商品を含むブログ (1
数学の道が閉ざされるとき - hiroyukikojima’s blog
遅ればせながら映画『容疑者ケインズ』、もとい、映画『容疑者xの献身』を観てきた。 なぜ観に行ったか、というと、ぼくがCDまで買ってしまいそうな勢いの柴咲コウのファンだからでは決してなく、福山演じるガリレオ先生の講義のように教室を女子大生でいっぱいにするにはどうしたらいいかを学びたいから、ってえのでも全くない。実は、小学生の息子が、「どうしても観たい」、といったので連れていくことにしたのだ。息子は、テレビでの『ガリレオ』を観て、このシリーズのファンになったようだ。表向きには、理科マニアであることが理由なのだが、その実、柴咲お姉さまにやられてしまっているのかどうかは定かではない。(ママには内緒にしといてあげよう)。まあ、理科雑誌「RikaTan」(ムペンバ効果と経済 - hiroyukikojimaの日記参照)を与えて以来、繰り返し熟読しているので、まんざらウソでもないだろう。本当に、この雑誌
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
