@UntilTrees hmm i’d have to think about whether that’s equivalent to tarski. halting problem is definitely familially related at least

Posters: QiaochuYuan. QiaochuYuan

2 likes recorded by the source corpus.

Topics: Math

View Post: https://x.com/QiaochuYuan/status/1885842848681226487