- another instance (of my personality)
- https://mathstodon.xyz/@sakaefuchino
僕の別人格 https://mathstodon.xyz/@sakaefuchino でとは違い，こちらでは toots の再編集が出来ないため再編集をする時には頂いた comments 等へのリンクをバッサリと切断して書き直します．悪しからず．
Since I cannot reedit toots at #fedibird, when necessary, I shall simply cut all links to favorites/boosts/comments from a toot to edit and repost it. This does not (nec.) mean that I don't appreciate your reactions. If you (dis)like my reedit please favor/boost/comment it again.
#多言語 #settheory #数学 #emacs #音楽 #selfreferential #集合論 #logic #multiverse #数学の基礎づけ #latex
2022年 11月 に登録
https://mathstodon.xyz/@sakaefuchino/109748043335121083
この thread は，新しい mastodon の，publish した toot の (再) 編集の機能をフルに使って書いています．古い mastodon のこの機能を持たない instance でこの thread を読んでいる方は，申し訳ありませんが，https://mathstodon.xyz/ で，https://mathstodon.xyz/@sakaefuchino/109747957458685161 を閲覧してください．
#multiverse #IncompletenessTheorem [参照]
また間違えて Fedibird で書いてしまった．posts の typos の訂正ができないのでここでは書かないことにしようと思っていたのに．
これが正しいと言っているわけではないんだが，こうでも説明しないと理解できない，というものにはなっているように思える
こういうのを見ていると，“presumption of innocense” という概念に，「疑はしくは罰せず」という文語の固定訳語がついていること自体が奇跡のように思えてくる．と書いてみたのだが，これはむしろ，こう誤訳したために，罰しはしないが犯人扱いはしてよい，と勘違いしてしまったという lost in translation 現象だったのかもしれない．
Sakaé Fuchino
さんがブースト
A year ago: four students of my Logic class (the Λμtómatas group) decided to stage a musical with the four (recognizable) characters Turing, Hilbert, Ackermann and of course Gödel. Here are some stage photographs.
That was the very first in-person event we had in my classes, after almost two years of confinement. I felt it was luxury to restart seeing my students in person during a logical musical performed (and scripted) by them!
The musical was called Ignorabimus.
同じ内容を書いた toot のリンク先の #mathstodon での toot の修正が，こちらの instance から見ると反映されないので，別のリンク先に書き直しておこうと思う．新しい mastodon では多分 toots は，オリジナルの toot に修正の差分の chain がつながった構造になっていて，これを古い mastodon のエンジンで見た時には，この chain の root になっているオリジナルの toot だけが見える，というのが，起こっていることなのだと思うのだが．
＃初等数学
▶ √2, √3, √5, √6, √7 etc. は全部無理数です．なぜなら:
https://fuchino.ddo.jp/obanoyama.html#23.01.15(日22:56(JST))
#数学 というべきか算数というべきかちょっと分からない気もするんだが ...
日本の新聞は，江戸時代の瓦版を彷彿とさせて本当に滑稽で面白い．事件現場でインタヴューを受けた人は声を震わせなくてはいけないし，葬儀はしめやかに行われなくてはならない．おいしいものをいただく人は舌鼓を打たなくてはならないし，自白した容疑者は記事の中で犯人扱いされて，「間違いありません」と言わなくてはならない．
＃初等数学
√2, √3, √5, √6, √7 etc. は全部無理数です．なぜなら:
https://mathstodon.xyz/@sakaefuchino/109691537442918669
#Lützerath erinnert mich an #Narita. Wärend es allerdings in Narita lediglich mit der Problematik (des Missbrauchs) der Staatsgewalt zu tun hatte, ist Lützerath mit der Frage verbunden, wie dumm es bei dem jetzt nur noch unvermeidlichen Untergang der Menschheit aussehen wird.
Sakaé Fuchino
さんがブースト
私はかつて保育士だったので、弱者に合わせれば誰も困らないっていうのは正しいことを知っています。
「手を洗いましょう」
というだけでは伝わらない子どもがいる場合、
「水道の前にたちます」
「蛇口をひねります」
「手をぬらします」
「蛇口を逆にひねります」
「石鹸をつけます」
「手のひら同士をこすり合わせます」
「左右の手の甲をこすります」
「左右の手首をこすります」
「蛇口をひねります」
「ぬるぬるがなくなるまで水で流します」
「蛇口を逆にひねります」
「タオルで手の水がなくなるまで拭きます」
という風にとても細かく分解して知らせます。このプロセスを知らせることは「手を洗いましょう」だけで理解できる人にも特に何の不都合もないし、むしろ改めて行動を振り返り理解を深めるきっかけにもなりうるのでとてもよいことだと思います。
ユニバーサルデザイン。
生活の仕方も社会もこんな風に優しい世界になっていけばいいな、と常々思います。
夫婦別姓にしろ同性婚にしろ何にせよ実装しても誰も困らない。誰も困らない社会っていいですよね。
Klatschjournalismus 的猟奇事件ということでは一昨年は，Brian と Gabby で，昨年は Bryan だし，去年と今年の元旦からの感染者数増加のダイナミックスの相似もそうだし，なんかデジャヴを見ているとしか思えない．しかも，両方とも破壊力は今度の方が格段に増加している．
Self-referential な statement である．しかも self-referential に敬語が間違ってついている．
Sakaé Fuchino
さんがブースト
#COVID Poll
Please boost to get a bigger response.
Sakaé Fuchino
さんがブースト
Happy new year! No prime number, but \[2023 = 7×17^2 \\= (2+0+2+3) (2^2+0^2+2^2+3^2)^2.\] Hope that bodes well!
新年の switch の瞬間に起きていようと思っていたが，横になったら寝てしまって，寝過ごしてしまった．例年のように Dinner in one もみてしまっているし ... the same procedure as last year ... まあいいか．
Aを集合とする。このとき、A×A∩A=空集合であることを示すにはどうすれば良いですか？
という Quora での質問に，
(𝐴 × 𝐴) ∩ 𝐴 ＝ Ø は一般には成り立ちません
と始まる答えを書いてみました．こういう初心者の質問に答える (ふりをして啓蒙活動のようなことをしてしまう) のは時間の無駄だと批判されてしまうかもしれませんが，年をとると，だんだん当たり前のことを説明する能力が失せてしまう傾向があるような気がするので，これは，自分にとっては，そうならないためのトレーニングのようなものでもあります．
arXiv に日本語 LaTeX で作った論文を (調節して) post する話なので，僕の日本語の instance にも link しておくことにします．
Sakaé Fuchino
さんがブースト
It took me almost two hours to make the \( \LaTeX \) source file of my joint paper with Hiroshi
https://fuchino.ddo.jp/papers/weakly-extendible-x.pdf
acceptable for #arXiv's LaTeX engine. I think next time I will write a #emacslisp utility for the conversion.
https://twitter.com/SakaeFuchino/status/1608387410559369216?s=20&t=RuxR8CU0MfHgqDuth5_ouQ
- another instance (of my personality)
- https://mathstodon.xyz/@sakaefuchino
僕の別人格 https://mathstodon.xyz/@sakaefuchino でとは違い，こちらでは toots の再編集が出来ないため再編集をする時には頂いた comments 等へのリンクをバッサリと切断して書き直します．悪しからず．
Since I cannot reedit toots at #fedibird, when necessary, I shall simply cut all links to favorites/boosts/comments from a toot to edit and repost it. This does not (nec.) mean that I don't appreciate your reactions. If you (dis)like my reedit please favor/boost/comment it again.
#多言語 #settheory #数学 #emacs #音楽 #selfreferential #集合論 #logic #multiverse #数学の基礎づけ #latex
2022年 11月 に登録
