ゲーデルの生誕100年にあたる今年2006年を記念して、 20世紀の近代論理学の発展・成果を 取りまとめその歴史的な位置づけを試みようという 全4巻シリーズ。 東京大学出...

その文が証明不可能であることと同値である文(公理系がω無矛盾であるとする仮定のもとでは証明も反証もできない命題)。 ↓がそのような(算術)命題をコンピュータで実際に求めた例となっています(但...

NHK教育TVで放映された「ハーバード白熱教室」の影響だと思うのだが、うちのカミサンが、ボクの書架から、マイケル・サンデル著の『これからの「正義」の話をしよう』を持ち出し...

前に日本科学未来館で行なわれた「時間旅行展」が、再び新たなコンテンツも加わり、山口県の山口情報芸術センターで行なわれています。 時間という決まっているけれども、あいまい...

あなたが生まれてから・・どれだけの ・・・・ 生年月日と性別を入力するだけで その数字に沿って8つの解説が展開されます 摂取した栄養量や水分、呼吸の回数、 宇宙か...

原題は、 The Knife Man, The Extraordinary Life and Times of John Hunter, Father of Modern...

「恐竜」の概念すらない時代、 19世紀のイギリスに 化石ビジネスを独力ではじめ プロの化石ハンターとなった メアリー・アニング、その 映画「フランス軍中尉の女」のモデルに...

原題は、 TIME REVERSIBILITY, COMPUTER SIMULATION, AND CHAOS コンピュータシミュレーションの視点から 可逆性の逆説(「...

もっとも有名な科学者が、 わたしたちにおしえてくれる易しい１５０の言葉。 一般人が考えられる枠を超えて いろんなことを思い付いた彼ならではの視点は 現代においても新鮮そ...

2005・2006年が日本におけるドイツ年であり また2005年が世界物理年であったことに因み、 「アインシュタイン」を東京大学総合研究博物館に 相応しい切り口で公開する...