数学を教える人が読んでおきたい論理の本 - hiroyukikojima’s blog
ぼくは、以前から、論理とゲーム理論とをクロスオーバーさせた本を書きたい、というテーマを持っており、それは拙著『数学的推論が世界を変える〜金融・ゲーム・コンピューター』NHKブックスで果たすことができた。 この本を書くために、今まで、けっこうな冊数の数理論理学の教科書を読んできた。その中でめぐりあったのが、ゲンツェンの自然演繹と呼ばれる推論規則のセットであった。推論規則というのは、数学の証明で用いられる推論をできるだけ少ない数でセットにしたもので、おおわくではヒルベルトの体系、ゲンツェンのシークエント計算、ゲンツェンの自然演繹、というのがあって、それぞれの演繹能力は同じだけど、体系自体は異なるので、何をしたいかによって有利不利(向き不向き)がある。この３つの中で、普通の数学の証明で利用されている推論の方法は自然演繹が最も近いものである。 ぼくは自然演繹の体系を、鹿島亮『数理論理学』朝倉書店で
英映画監督・俳優のR・アッテンボロー氏死去、『ガンジー』でアカデミー賞
ベルギーの映画祭に出席した英国の映画監督・俳優リチャード・アッテンボロー（Richard Attenborough）氏（2007年10月9日撮影）。(c)AFP/BELGA/LIEVEN VAN ASSCHE 【8月25日 AFP】（一部更新）『ガンジー（Gandhi）』（1982）でアカデミー賞（Academy Awards）監督賞を受賞し、『大脱走（The Great Escape）』（1963）や『ジュラシック・パーク（Jurassic Park）』（1993）などのヒット作に出演した英映画監督・俳優のリチャード・アッテンボロー（Richard Attenborough）氏が、長い闘病生活の末、24日昼ごろ死去した。90歳。同氏の息子が英国放送協会（BBC）に明らかにした。 1923年に英ケンブリッジ（Cambridge）で生まれたアッテンボロー氏は、60年にわたり映画界で活躍。監督
アカデミズムという虚構 旧石器遺跡捏造事件 （『（日本人）』未公開原稿2） – 橘玲 公式BLOG
新刊『（日本人）』の未公開原稿です。 原発事故責任を考えるうえで、日本の“アカデミズム”とはどのようなところなのか（日本で“学者”“専門家”と呼ばれるのはどのようなひとたちなのか）を示す格好のエピソードだと思いましたが、最終的に分量の関係でカットしました。その後の“ゴッドハンド”については、ほとんど知られていないと思います。 *********************************************************************** 2009年12月某日の夕刻、元文化庁主任文化財調査官・岡村道雄は東北のある駅に降り立った。そこで、10年ぶりにある男と再会するためである。 男は臙脂色のジャンパー姿で、土産を入れた紙袋を持って、駅の待合所に座っていた。すこし太って、白くなった髪を短く刈り、好々爺のような風貌だった。 男は岡村と対面すると、開口一番、「申し訳なか
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Loading...
TEDで最多視聴数を稼いだ講演のトップ20–今年はSteve Jobsらも入る | TechCrunch Japan
お手軽にプログラミングを学習したい人のための厳選5サイト（ ボーナス） - TechCrunch
