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@mathtod.online

ふと「Hausdorffかつ擬コンパクトならコンパクトか?」というのを考えてみたが,どうやら$[0,\omega_1)$とか長い直線とかが反例らしい.こういうときにπ-Baseは便利だ

Cantor空間$2^\omega$に距離入れたやつってよく考えたら(よく考えなくても)2進整数環$\mathbb{Z}_2$と同じじゃん

Nested Stack Automata職人になるぞ👊

今度のつどいで講演します.「有限オートマトンとPresburger算術」というタイトルで話します.何も知らない人向けに,前半でオートマトンの入門をやって,後半でPresburger算術の決定可能性を示そうと思います.

つどいの応募にすべりこみセーフ

モデル理論で集合モデルばかり扱っていたせいかクラスモデルについてあんまり理解できていないので,そろそろ相対化についてちゃんと整理しておきたいなあ

iso.2022.jp を動かしてるVPSはデータセンターが石狩にあるんですけど,復旧の状況によっては非常用発電設備の燃料が持たないかも,とのことです(13日くらいまでは持つそう)

いやでも自分の専門がロジックかどうかは自信がないな

ロジシャンを自称する手前,証明論とか算術とか逆数学とかの基本的な事項を知っておきたいという気持ちがある

主定理でSipserを\citeするのを忘れていたので慌てて追加した

9月になりました.決定不能問題ギャラリー第9弾は「文脈自由言語の普遍性判定問題」です!
iso.2022.jp/math/undecidable-p
プッシュダウンオートマトンは「Turing機械の計算の履歴である」ことを検査する能力を持たない一方で,「計算の履歴でない」ことは検査できることを見ます.
mathtod.online/media/gBI_iby-Y mathtod.online/media/N6P74cUfe mathtod.online/media/kf5eKU1oS mathtod.online/media/cgZG-ROTX

プッシュダウンオートマトンでのプログラミング,思いの外めんどくさい……

ここ最近一生懸命考えても全然わからなかった未解決(と思っていた)問題が2年前に既に解かれていて論文がpublishされているのを知ったときの顔

「TikZ作例集」みたいなやつ,そのうち作りたいな

自己検証理論(self-verifying theory)というのがあるのか,面白そう.加算・乗算記号の代わりに減算・除算記号を使うと不完全性定理に捕まらずに自己の無矛盾性を証明できるそうな.

アティマク演習問題解答の2章問題19まで版を公開しました.
iso.2022.jp/

universal Diophantine equationを構成した.

小木曽6.1終わり.いいペース.

$\varepsilon$-$N$論法とか位相空間論とか好きなので解析をやってみたい気持ちもあるんだけど代数と計算論の方が優先順位が高いのでなかなか手が出ない.

一応私が考えた回答を置いておきますね. Show more