Tatsuya Goto (@goto_math) header
Tatsuya Goto (@goto_math) profile picture

Tatsuya Goto

@goto_math

I am a JSPS researcher at TU Wien and study set theory of reals.

 Vienna, Austria
t-goto.jp
Joined August 2021
  • Tweets1.9K
  • Following121
  • Followers230
164Media
Photo by Tatsuya Goto (@goto_math)Photo by Tatsuya Goto (@goto_math)Photo by Tatsuya Goto (@goto_math)Photo by Tatsuya Goto (@goto_math)Photo by Tatsuya Goto (@goto_math)Photo by Tatsuya Goto (@goto_math)Photo by Tatsuya Goto (@goto_math)Photo by Tatsuya Goto (@goto_math)Photo by Tatsuya Goto (@goto_math)Photo by Tatsuya Goto (@goto_math)
adventar.org/calendars/12859 Math. Logic Advent Calendar 2026に「弱コンパクト基数ノート」という記事を投稿することにしました。よろしくお願いします。1, 2節はどこにでもある内容、3節からはadvancedな内容です。 全部書き切れるかわからないので書ききれなければ途中まで書いての公開にします。
Image from Tatsuya Goto (@goto_math)
2
9
587
化身, 化身アームド, ミキシマックス and ソウル are to イナズマイレブン what メガシンカ, ダイマックス and テラスタル are to ポケモン.
2
182
お金の問題さえなければ働かずに大学の学部をn周したい (電子工学とか情報科学とか物理学とか学びたい)
22
386
mimuw.edu.pl/en/seminars/tal… 今週金曜日にワルシャワ大学のTopology and Set Theory Seminarにおいてオンラインで講演します！題目は「Goldstern's principle of the Lebesgue measure and Hausdorff measures」です。
1
7
317
集合論ゆるセミナーのお知らせです。 t-goto.jp/yuru-seminar.html
Image from Tatsuya Goto (@goto_math)
1
2
11
682
「完全集合にする」は「完全集合を含むようにする」と直すべきですね
88
最近コーヒーの自販機で余った小銭を消費するのにハマっている
3
219
Mengerの性質とか選択原理についてちょっと興味が出てきた
3
216
Goldsternの原理をいまだに擦っております。まだ味が出ます
8
278
来週某所 (情報が出次第リプライ欄に書きます)のセミナーで話すためのスライドを作成中。 結構基本的なことから定義を説明してくれと言われたのでここら辺から。
Image from Tatsuya Goto (@goto_math)
7
346
集合論で博士を取った二人で「ギリシャ文字がたくさん出てくると頭が追いつかなくなる」「わかる」という会話をしている…
1
5
290
でぃぐにゃん nitter.gq/miomm0766/status/21162…
🤖 Made with AI
Image from Tatsuya Goto (@goto_math)
mio (@miomm0766) profile picturemio
@miomm0766Oct 30
一直很喜欢剪影类的图片，所以在做这个提示词放下面了 #AIart
Image from mio (@miomm0766)
Image from mio (@miomm0766)
Image from mio (@miomm0766)
Image from mio (@miomm0766)
1
3
283
dmg.tuwien.ac.at/fg1/FG1Semi… 今週のAlgebra Seminarで発表します
8
1,183
今週金曜のセミナーの準備を進めた！
3
588
最近私はAI論文乱発ぎみでしたが、今日からChatGPTのプランがProからPlusになったので落ち着くと思います
1
16
3,989
世界が混迷を極めている (AIと数学、サイバー攻撃、腐敗政治…)
1
1
23
2,182
AI-assistedな論文をarXivに投稿しました。 arxiv.org/abs/2610.08549 ある病的なHausdorff測度についてその加法数 (additivity)とLebesgue測度の加法数が異なりうることを示しました。
The additivity of a certain Hausdorff measure can differ from that...

The additivity of a certain Hausdorff measure can differ from that...

Let $\mathcal{N}^h_Ω$ be the null ideal of the Hausdorff measure constructed by Davies and Rogers. We give a Tukey reduction of $(\mathcal{N}^h_Ω,\mathcal{N}^h_Ω,\subseteq)$ to a...

arxiv.org
1
1
16
1,266
Lemma 5の集合の被覆を測度のより良い上界が得られるものに取り直す議論が本質的です。それ以外の部分はやるだけのことをやっているだけですね。
420
基数不変量の分野で残っている重要な問題の一つにa≦iがZFCで証明可能か、それともCon(i<a)かどうかというのがある。 後者が正しい場合、今のAIにはまだ解けないんじゃないかと思う。 (新しい強制法の手法が必要であり、AIはまだ苦手そう。1年後さらに賢くなったAIが解いている可能性は十分あるけど)
2
12
2,241
強制法の問題を純粋な無限組合せ論の問題に人間が還元してAIがそれを解くことで今のAIでも解けちゃう可能性もあるのかもしれない。 個人の勝手な見解です！
491
Load more