BLUE
Profile banner
Q
QC
@qchu.bsky.social
irrationalist | substack: qchu.substack.com | twitter: @QiaochuYuan
1.2k followers301 following865 posts
Qqchu.bsky.social

this poem contains several of the worst sentences i've ever written

1
Qqchu.bsky.social

there’s a girl working at my favorite diner who i swear to god has the exact appearance and vibe of an irl wendy from gravity falls and she is really doing something to me good lord

0
Qqchu.bsky.social

this probably looked really nice like a week or two ago

0
Qqchu.bsky.social

very cultured, nice

0
Qqchu.bsky.social

bless. this is the best stuff on my skyline rn 🫡

0
Qqchu.bsky.social

that episode of voyager where she let down her hair really did something for me as a kid

0
Qqchu.bsky.social

like you can take a look at the wacky stuff here, it's not hard to e.g. describe ordinals so large ZFC can't construct them, or any other particular computable list of axioms for set theory! https://en.wikipedia.org/wiki/Large_countable_ordinal

0
Qqchu.bsky.social

*how weird definite-but-not-surveyable collections are like the collection of countable ordinals is truly insanely large, almost all of them are impossible to describe in any fixed ordinal notation, e.g. almost all of them are uncomputable. it's extremely different in character from N

2
Qqchu.bsky.social

i haven't thought through this carefully but yeah, i think in this framework aleph_1, or more precisely omega_1 thought of as the collection of all countable ordinals, is definite but not surveyable. in other papers i think he does a good job emphasizing how weird surveyable collections are

1
Qqchu.bsky.social

just got on here to quickly scope out the vibes! looks like they're p good

0
Profile banner
Q
QC
@qchu.bsky.social
irrationalist | substack: qchu.substack.com | twitter: @QiaochuYuan
1.2k followers301 following865 posts