長谷川由紀路
Follow

【数学】巨大数　不完全性定理の有用性 

理論Tで理論Sが証明可能であればT≠Sである。なるほど。

ソースは証明論のガチ勢
twitter.com/Alwe_Logic/status/

· · 0 · 0 · 0
Sign in to participate in the conversation
Vocalodon

ボーカロイド好きが集うMastodonインスタンス、通称「ボカロ丼（ボカロドン）」です。 ** This server is for "Vocaloid" lovers. If you are not, please select other server. **

Trending now

Resources

Developers

What is Mastodon?

vocalodon.net

More…

v3.5.19 · Privacy policy
image/svg+xml