Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

Reply to @tojoqk@mastodon.tojo.tokyo
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-06 08:49:06)
そもそも数学的に両立可能なのか疑問に思い始めてから、子供の頃からなんとなくあった統一理論への憧れ、超ひも理論への興味みたいなことが急速に崩れていくような感覚がある。同時に自分にはプラグマティズム的な感覚もあって、そもそも観測できない領域について論じる物理学って本当に必要なのだろうかということも考え始めるようになっていっている…
---Reply---
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-06 14:13:45)
数学基礎論と物理学を組み合わせる研究はすでに進んでいて、小澤正直教授によって劇的に進展していたということを知った。数学基礎論って物理学にも応用されてたのか。。。

---Replies---

きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-06 14:32:56)
Cubical Agdaに取り組むべきであるという根拠がまた増えてしまった感…