2024.04.03
https://gyazo.com/6b8cbd12224d2a82210cf37ab8b2bd91
前:
2024.04.02
後:
2024.04.04
#日報
メモ
Geach論理の完全性定理
メモ
https://github.com/leanprover-community/mathlib4/pull/6718
Lindemann–Weierstrassの定理
あるいは
ネイピア数が超越数であることの証明
円周率は超越数である
思った
前澤 / momone
氏は一応大学の後輩で,キャンパスも同じ?らしく,思えばギリギリ会えたのではないかということを知った