@dogmadeath here’s a fun fact: matiyasevich’s theorem implies that you can write down a specific diophantine equation that has solutions iff peano arithmetic is inconsistent, so peano arithmetic…

Posters: QiaochuYuan. QiaochuYuan

3 likes recorded by the source corpus.

Topics: Math

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