y. is a user on mathtod.online. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
y. @waidotto

こっち(Mathtodon)でも宣伝しておきます.今年(2018年)の初めから「決定不能問題ギャラリー」というページを始めました.
iso.2022.jp/math/undecidable-p
まだ記事が2つしかありませんが,毎月の1日に更新することを目標にちょっとずつ充実させていくつもりです.

· Web · 1 · 2