お詫び -- 数学の基礎について話すのは難しい




1/31のセミナー「Post Deep Learningの人工知能技術を展望する」https://lab-kadokawa43.peatix.com/ で、Voevodskyを取り上げたいと思っていたので、数学的認識の基礎についての数学の側からの認識の深化について話そうとしていたのですが、苦戦しています。短いスライドでは無理そうです。
多分、Voevodskyが、コンピュータを使った数学の証明支援言語COQを活用しようとしていたことの紹介で終わりそうです。
お詫びに、この世界(数学の基礎理論)のスーパー・スターの顔写真を集めました。ご利用ください。(利用のしようがないって)
現代の文明を作ってきたのは、エディソンやフォードやジョブスやページだけではないと思っています。いつか、ゆっくりシリーズで、このあたりの話ができればと思っています。(聞きたくないって?)

コメント

このブログの人気の投稿

初めにことばありき

Google翻訳での日本語の点数の低さについて

カルロ・ロヴェッリ The order of Time