2023.04.23
https://www.youtube.com/watch?v=d0dDgnph4Wg
観た
熱い!
知った
何?
思った
菊池誠; "不完全性定理"の「"形式的に定義される自然数"と"素朴にただある数の概念"を一致させるとどうなるか」という捉え方が最近スーッと効いてきて、自分の中の曖昧だった部分や用語をしっかりさせようという気持ちになる やった
というか,おれは多分Scrapboxになれすぎて全部ゴリ押しで数式書き換える見たいな力が付きすぎちゃって一切共通化とかしない人間になってしまった 様々な連絡
もうかなり期限がおそすぎる連絡とかもあり,大変なことに…
思った
「<任意の商標>」は、株式会社Xの商標または登録商標です。
<任意の商標>として,株式会社Xの商標または登録商標です。」とは、株式会社Yの商標または登録商標であることを表します。「Aを入れる.(Aは任意の商標を入れる)
「株式会社Xの商標または登録商標です。」とは、株式会社Yの商標または登録商標であることを表します。「A」は、株式会社Xの商標または登録商標です。