今日はWindows10のサポートが切れるのに備えて、手持ちのWindows10で動いてパソコンにWindows 10 ESU（Extended Security Updates、拡張セキュリティ更新プログラム）の設定を行いました。Microsoftアカウントでログインすると簡単に一年間のESUプログラムが契約できて無料でした。OneNoteなどをいつもつかっていて、システムバックアップができているのでスムーズでした。ネットでいろいろやりかたがでているので検索してみるとどなたでも簡単に加入できると思います。しかし、結構新しいコンピュータで問題なく動いているものがアップグレードできないので、買い替えが必要というのはこまったものです。
さて今日はいつものサンタフェインスティチュートの動画です。これはめちゃめちゃ面白そうです。
How Much Math Is Knowable?
https://youtu.be/dQC7AIT91_g?
In this SFI Seminar, Scott Aaronson (University of Texas at Austin) explores the limits of mathematical knowability — from Gödel’s Incompleteness Theorem and Turing’s uncomputability to the astonishing growth of the Busy Beaver function and the future possibilities of quantum… pic.twitter.com/igwtLTwHWn
— Santa Fe Institute (@sfiscience) October 9, 2025
ゲーデルの不完全性定理などからはじまって、AIと量子コンピュータ時代の数学的知識の限界に挑むSF的アイデアもでてくるようです。
見るのが楽しみな動画です。