もちろん,僕が self-reference にこだわるのは,それが Gödel の#不完全性定理 (複数) のコアだからである.#selfreferential #logic
こちらに移ってきて,日本人の followers が殆どいない,という傾向は鳥類の世界でと同じなんだが,#mathstodon.xyz で日本人でない (と思われる) followers で computer science 系の人が滅茶苦茶多いのは,新しい傾向といえる.これは,単にmathstodon.xyz に acount を持っている computer science 系の人が多い,という sampling bias にすぎないのかもしれないが.
日本語の toots を分離したおかげで,#fedibird では followers がほとんど誰もいないのは,非常に良い.せっかく 560全角文字できちんと議論できるので,follower になる人は,ちゃんと議論についてこられる人であってほしい.この場合,議論について来られるなら賛成でも反対でもかまわないが,thread で討論を始めたときには,途中で投げてしまわずに,ちゃんと最後まで議論につきあって欲しい思う.
残りの文字数が少なくなると,つい,残った文字数をきっちりと使い切るという,僕が #mastodon長歌 と呼ぶ遊びを始めてしまっている.この遊びは,toot を #selfreferential にすることで実現できることが多い.
書き直しをしたらここへの link が切れてしまったみたいなので再度
繋ぎを作ってみている.toots の tree structure を直接いじれるようになっているといいのだが,やはりそういうのは自分の html files でいじって,ここから参照する,というのがいいのだろうか.
#数学#集合論
https://fedibird.com/@sakaefchn/109504380262945488 [参照]