FAQ
Login
GNU social JPは日本のGNU socialサーバーです。
Usage
/
ToS
/
admin
/
test
/
Pleroma FE
Public
Public
Network
Groups
Featured
Popular
People
Embed Notice
HTML Code
<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://mathtod.online/users/Nyoho/statuses/109641979158731468">$\mathscr{N}_{yoho}$ (nyoho@mathtod.online)'s status on Friday, 06-Jan-2023 20:17:13 JST</a><a href="https://mathtod.online/@Nyoho" title="nyoho@mathtod.online"><img src="https://gnusocial.jp/avatar/5923-48-20220817021146.webp" width="48" height="48" alt="$\mathscr{N}_{yoho}$" style="position: absolute; left: 0; top: 0;">$\mathscr{N}_{yoho}$</a><div><ul><li></ul></div></section><article><p><a href="https://mathtod.online/tags/%E8%A8%BC%E6%98%8E%E8%BF%BD%E3%81%A3%E3%81%9F%E3%81%93%E3%81%A8%E3%81%AA%E3%81%84%E5%AE%9A%E7%90%86%E6%BF%80%E7%99%BD" rel="tag">#証明追ったことない定理激白</a> <br>ゲーデルの不完全性定理まわり</p><p>(命題論理とかの完全性定理はちゃんと追ったつもり)</p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/998650#notice-2237827">In conversation</a><time datetime="2023-01-06T20:17:13+09:00" title="Friday, 06-Jan-2023 20:17:13 JST">Friday, 06-Jan-2023 20:17:13 JST</time> <span>from <span><a href="https://mathtod.online/@Nyoho/109641979158731468" rel="external" title="Sent from mathtod.online via ActivityPub">mathtod.online</a></span></span><a href="https://mathtod.online/@Nyoho/109641979158731468">permalink</a></footer></blockquote>
Corresponding Notice
Embed this notice
$\mathscr{N}_{yoho}$ (nyoho@mathtod.online)'s status on Friday, 06-Jan-2023 20:17:13 JST
$\mathscr{N}_{yoho}$
かき@GNUsocialJP
#証明追ったことない定理激白
ゲーデルの不完全性定理まわり
(命題論理とかの完全性定理はちゃんと追ったつもり)