y. @waidotto@mathtod.online

つどい応募だん．講演者募集要項のメールアドレスの表示とリンクが食い違ってて(リンクの方が古いアドレスだった)，危うく騙されるところだった

数学Tips: 冪集合の「$\mathfrak{P}$」の代わりに「巾」と書いてもばれないし，Hilbert空間の「$\mathscr{H}$」の代わりに「み」と書いてもばれない．うまく書けなくて困っている人は活用してください(？)

たんに$A'$が$\emptyset'$にbounded reducibleな$A$がとれるというだけなら別の証明があるんだけど，$\omega$-c.e. via $f(e)=2^{e+1}$の証明となるとググっても一つしか見つからないし，一般には$\sigma_s$が収束するとは思えない

SoareのSuper Low Basis Theoremの証明，いくら考えても間違ってるとしか思えないのでちゃんとした証明を知りたいな．自分で考えてもなかなか上手くいかない．

関西つどいのアブスト書かねば #kansaimath

$10^{a-b}(10^b-1)$じゃなくて$10^b(10^{a-b}-1)$

ちゃんと書くと: 1/9nが有限小数と仮定するとあるmについて10^m/9nが整数となるが，これは9nが2,5以外の素因数を含まないことを意味し矛盾．あるa,b(a>b)について(10^a-10^b)/9n=10^(a-b)(10^b-1)/9nは正整数で，9nは10と互いに素だからから10^b-1を割り，よってnは111…1の形の数を割る．

「10と互いに素な任意の正整数nはある111…1の形の数の約数になる」というと非自明っぽく見えるけど「循環小数1/9nのコピーを2つ用意して小数点を適当にずらして差をとると小数部分が一致して消える」と書くと自明な感じがする

Finite injury priority argumentの証明を読んで行間を埋めたものの，理解できたかと言われると微妙なところ．要件が成り立つことの証明は結局ad-hocにやる必要があるので，強制法とかと比べてあんまり"framework"感はない(木を使った優先論法を勉強した方がよさそう？)．

SoareのTuring Computability，主張は合ってるのに証明はちょくちょく間違ってるからわりと油断ならない．(修正可能な範囲ではあるが)

Fubiniの定理，いつも名前が思い出せなくて困る

某所で発表した「直観主義論理入門」のpdfを公開しました．
http://iso.2022.jp/

健全性定理の証明を全部の推論規則についてちゃんと書いたら似たような文字列がずらずらと並ぶ味気ない証明になってしまったけど，これはこういうものと割り切って行間を滅ぼす方を優先することにしよう

A3の紙に両面印刷するレジュメのページ数$P$が$P\equiv 1\pmod{4}$になるととても微妙な気分になる

「小数展開の一意性と空間の連結性」というpdfを公開しました．
http://iso.2022.jp/
一ヶ月前にツイートした「実数の小数展開が一意でないことはRの連結性に由来している」という感覚的な話を数学的にきちんと定式化してみたものになります．

列型空間の定義を完全に勘違いしてたっぽいのでpdfを書き直す

pdfを推敲していたら「〜になることが容易にわかる」って書いてあるのに少し考えたら容易でないどころか間違っていたので過去の自分を恨んでいる．やはりこの世でいちばん信用ならないのは過去の自分と未来の自分だ

図です

図です

集合論者のJech，チェコ人なので発音は「イェフ/jεx/」なのか……(みんなイェックとかイェヒとかジェックとか呼んでいるイメージがある)