yotsunva Profile Banner
yotsunva Profile
yotsunva

@yotsunva

Followers
710
Following
37K
Media
505
Statuses
14K

strongly predicative algebra

https://t.co/SuCQWvRUpU
Joined July 2015
Don't wanna be here? Send us removal request.
@yotsunva
yotsunva
@yotsunva
2 hours
博士入試ってどれぐらい落ちる可能性あるんだろう
0
0
2
@yotsunva
yotsunva
@yotsunva
2 hours
「証明⛩️」と「証明🏋️」ぐらいで良いかもしれない
0
0
4
@yotsunva
yotsunva
@yotsunva
2 hours
古典的証明とか非構成的証明って侮蔑的な表現だと思われる可能性ありそう（「構成的じゃないのは古い」とか「それは証明ではない」みたいな思いを込めているわけではない）
0
0
2
@yotsunva
yotsunva
@yotsunva
2 hours
申請書に「非構成的証明」とか「構成的証明」とか書くの飽きてきたので、前者を「証明（笑）」と書いて後者を「†証明†」と書こうかな
1
0
14
@yotsunva
yotsunva
@yotsunva
2 hours
日頃の行いが良いと、「断りのない限り構成的数学の話をしています」という但し書きを書く必要がなくなります
0
1
1
@yotsunva
yotsunva
@yotsunva
5 hours
何が悲しいかと言うと、私が難しいと思うことを人々は難しいと思わないので人々の役に立てないこと
0
0
10
@yotsunva
yotsunva
@yotsunva
6 hours
「代数学は難しすぎるので、私が理解できるぐらい簡単にしたいです」という悲しい動機で数学をやっている
1
4
123
@yotsunva
yotsunva
@yotsunva
11 hours
これの Proposition 3 みたいな議論を見ると、やっぱり全称量化とかならばって許しがたいですよね？となる（なりませんか？） https://t.co/kfxBWa422K
Tweet card summary image
arxiv.org
We present a new and direct proof of Grothendieck's generic freeness lemma in its general form. Unlike the previously published proofs, it does not proceed in a series of reduction steps and is...
0
0
10
@Alwe_Logic
研究
@Alwe_Logic
22 hours
[TwiPla] 可算集合オフ
Tweet card summary image
twipla.jp
可算集合に関する知見を交換するオフ会もといセミナーです。例えば次にあげるような話題を扱いたいと考えています．- 可算性が本質的となるような数学的対象- 可算線型順序の分類- 構成主義あるいは選択公理が
0
2
7
@yotsunva
yotsunva
@yotsunva
23 hours
選択公理や排中律が分からなくなって、全称量化やならばも分からなくなって、この先まともに生きていけるのか不安になっている
0
0
7
@yotsunva
yotsunva
@yotsunva
1 day
希望する指導教員とその理由って何だ（全知だからとか…？）
0
0
7
@yotsunva
yotsunva
@yotsunva
1 day
博士入試もアンケートあるのか
0
1
4
@yotsunva
yotsunva
@yotsunva
3 days
今年こそは代数を勉強する…
0
0
4
@yotsunva
yotsunva
@yotsunva
3 days
振り返り（今更） 1月：quantitative general Nullstellensatz 2月：ロジックウィンタースクール 3月〜8月：quantitative HBT 9月：CIRM 3377, Proof and Computation 10月：基礎論若手 12月：RIMS 証明論
1
0
13
@yotsunva
yotsunva
@yotsunva
4 days
おめ〜
0
0
16
@yotsunva
yotsunva
@yotsunva
4 days
+1.6%
0
0
4
@yotsunva
yotsunva
@yotsunva
7 days
食事中に水を飲んでいたら健康に悪いと言われて、理不尽すぎて笑った（コーヒーなどを飲むべきと言われた）
1
0
5
@yotsunva
yotsunva
@yotsunva
10 days
葬儀に行きました
0
0
3
@yotsunva
yotsunva
@yotsunva
11 days
代数を理解したいが、簡単な数学しか理解できないので、代数を簡単にする必要がある
0
0
10
@yotsunva
yotsunva
@yotsunva
11 days
結局6号館ピロティで食べました
0
0
0