2023.10.30 - Internet Explorer 2.0

2023.10.30

https://gyazo.com/d6c8416cfadd1d20ec7bd8d68dd7a247

メモ

これに書いてあって思い出したがコグニカルという教育支援サイトがあったことを思い出した．

このサイトの技術は公開されていないが，勝手にOSSとして実装してフレームワークを提供することで数学教育に役立てることが出来ないだろうか？みたいな話を少しだけした．

メモ

3STEP 応用哲学にアニメについての哲学が書いてあった．（立ち読み）

フィルカル読んでみたいな．購読しようかな

読んだ

一部ネットに転がっているpdfで明らかに誤植がある上に，イマイチ証明も分かりづらいが，ともあれ証明可能性論理GLのカット除去定理について追えた．

後はまあ細部をちゃんと見たいなという感がある

（泣）

メモ

一般に筋肉痛と呼ばれる遅発性筋肉痛 / Delayed onset muscle soreness / DOMSの痛みの原因は未だに仮説の段階を出ないらしい．

知った

ひとみことゆえと書いてあって何事と思ったが人身事故だった．

思った

viveisdeadのドナルドステッカーメチャクチャ界隈外に波及してて横転してた

思った

数学基礎論と数理論理学って現代では厳密に用法は区別されてはいないとは思うが

個人的には実際字面通り数学の基礎についての探求，例えばZFC集合論以外の公理系や数学の構成的数学や型理論/ホモトピー型理論，逆数学?などの研究は数学基礎論とカテゴライズするのが正しそうな気がする．

一方，数理論理学は一般に記号論理学とほぼ同義であると思える．

すなわち論理のシステムに対しての数学的アプローチぐらいの定義だと思う．

例えば，様相論理とかはほとんど数学の基礎とは無縁に思える．

個人的にこの分類に沿えば，おれは数学基礎論に付いてはあまり興味がなくどちらかと言えばより広く数理論理学に興味がある気がする．

Gödelの不完全性定理関連はどこに入るのだろうか？普通に数学基礎論？

読んだ

ひどい