Home | Notifications | New Note | Local | Federated | Search | Logout
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-06 09:30:49) AgdaとACL2を趣味で触っていた結果、数学基礎論的な思想に間接的に触れることになり、物理学の統一理論が「存在する」ということについての非自明性に気づくように導かれた感じがある。