yotsunva

仕事で初めて Kripke–Joyal semantics を使った（separation は本業ではないが）

第61回 MLG数理論理学研究集会 www2.kobe-u.ac.jp/~tk/jp/worksho… 日程：2026/10/23(金)午後～10/25(日) 場所：神戸大学 六甲台第2キャンパス 世話人：倉橋太志（神戸大学） 参加・講演申込フォーム forms.gle/ioS3WNGc3UYKAY… 講演〆切 9/30(水) 参加〆切 10/9(金) 参加・講演をお待ちしております!!

ZFC が矛盾したとき、他の基礎に乗り換えるのではなく ZFC と心中したいと思えるような覚悟があるか（そういう覚悟を持てるような基礎の上で生きていたい）

構成的メンタルコーチで生計を立てるか…

早く ZFC ⊢ ⊥ を示して人類をオカルトから解放してくれ

Proof Society に行くことにしました

Proof Society に申し込んだ後に裏で Workshop on Constructive Mathematics が行われることを聞いてしまい、おしまいになっている（キャンセルしようかなぁ）

この言い回しは @yotsunva さんの名言「なぜ選択公理や排中律を捨てると人生がうまくいくのか」に由来します #fp_matsuri #fp_matsuri_b

単項イデアル定理について考えている

渡航、余裕で70万ぐらい消えそう

取った（破産）

航空券取らねば

@Dochacico 基礎のことは特に考えていないです（ZF で考えるなら、素イデアルを使わずに Krull 次元を定義すれば選択公理等に依存しない問題になると思います）

ZFのみだと分からないって話だろうか

A⊆B⊆A[X] のとき、dim B > dim A[X] となることはあるか？

Is ℝ uniquely determined by the "point removal splits it into two copies of itself" property? math.stackexchange.com/a/5100051

何か数学以外のことをしたいけど、マジで何もできない

自分の数学、意味なさすぎて、意味ないなぁとなる

帰りの飛行機に間に合わなくて金が尽きて詰む夢を見た

環論難しすぎ〜

@subcountability Yes. In constructive algebra, we obtain a constructive proof from a classical one by avoiding the use of prime/maximal ideals. Many classical theorems have a constructive version.

@yotsunva What do you mean by 'constructivization'? The search for an alternative object or statement such that a theorem of interest still holds?

構成的代数の文献は不親切なものが多い（constructivization の過程の詳細が書かれておらず、出来上がった構成的証明だけ書かれているなど）