この記事の3つのポイント 「オッペンハイマー」は映画館で見てこそ趣旨が伝わる 自然と人間社会との境界面で起こる事象の興味深さ マンハッタン計画とアポロ計画に見る科学と社会の関係 映画「オッペンハイマー」を見てきた。 原爆開発というシチュエーション以前に、映画として傑作だと思った。上映時間3時間で、一つも...
ずいぶん間が空いた山形月報ですが、今回は文学好きの間では話題ながらも難物と言われるコーマック・マッカーシー遺作2部作を中心に、ホームズの格闘術と、財政金融政策の話。文学にネタのような真面目な格闘術、さらには経済話といつもながらバラバラですが、さて、どんな話になるでしょうか！ ずいぶん間が開いた (一...
現代の数学者のほとんどは形式化された数学の体系であるツェルメロ-フレンケル集合論ZFCを使っています. 言及されている通り, ゲーデルの不完全性定理によってZFCが無矛盾であるならばZFCは自身の無矛盾性を証明することができません. ZFCが矛盾している可能性はあります. ZFCの無矛盾性に関しては, 一方でZFCを用いて多...
哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます. ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1900年代以降と最近の話です. 主にヒルベルトによって主導されたものだと私は理解しています. (もちろん多く...
「チームトポロジー」や「エンジニアリングマネージャーのしごと」「スクラム実践者が知るべき97のこと」の著者や翻訳者などで知られる吉羽龍太郎氏が、「ソフトウェアに関わる人が知っておくといいかもしれない法則10個（勝手セレクション）」という興味深いポストをX（旧Twitter）で公開しています。 ソフトウェアに関...
論理学とその周辺領域の本を並べてみた*1．この記事にあげる本は，何らかの形でわたし自身が手に取ったことのあるもの(読んだとは言っていない)に限定している*2．ただし，原語版は手に取ったことがあるが，日本語訳はそうではない，またはその逆という場合はある． すべての本に対してコメントをしきれていないので，周...
この文章は VRChat において，いわゆる「クラブワールド」を制作している，またはしようとしているワールド制作者を対象として，その設計思想を私なりに解説するものである． 私が制作・運営するVRクラブである Club: The Underground（以下「地下」）を楽しむために，この文章を読む必要はない．また VRDJ を対象とした...
やくしまるえつこさんが選んだ本 相対性理論「天声ジングル」発売記念『やくしまるえつこ選書フェア』 2016/04/27~2012/05/09 安部 公房(1974) 無関係な死・時の崖 (新潮文庫) 安部 ヨリミ(2012) スフィンクスは笑う (講談社文芸文庫) アルフレッド・ベスター(2008) 虎よ、虎よ! (ハヤカワ文庫 SF ヘ 1-2) アルフレッ...
テレビアニメ『「進撃の巨人」 The Final Season完結編（後編）』（進撃の巨人 最終回）が、NHK総合で11月4日24時より放送される。原作者・諫山創は、本アニメの最終回について「僕の希望で少しだけラストのネームを描き直させていただきました」とコメントしており、原作との違いも注目のポイントとなりそうだ。 リアル...
NHK で放映された『笑わない数学』という番組の次の回が話題になっていた． www.nhk.jp 企画意図としては「\(1+1=2\) という式を通して数学基礎論という分野を紹介する」というものだったのだが，怪しい説明や誤解を招く説明，端的に誤っている説明があった．というか，全体を通してそういうものがとても多かった．どう...
「ゲーデル」に関連する商品は見つかりませんでした