Create accountLogin

Recent searches

No recent searches

Search options

Not available on mathtod.online.
mathtod.online is part of the decentralized social network powered by Mastodon.
Mathtodon is a Mastodon instance, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.

Administered by:

Server stats:

79
active users
Learn more

mathtod.online: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.2.11

$\mathscr{N}_{yoho}$


ゲーデルの不完全性定理まわり

(命題論理とかの完全性定理はちゃんと追ったつもり)

Jan 06, 2023, 11:17 · · Web · 0 · 3
ExploreLive feeds
About