here's a fun game you can play with your twitter followers: ask them if any consistent system of axioms whose theorems can be listed by an effective procedure can prove all truths about the natural…

Posters: panchromaticity. panchromaticity

3 likes recorded by the source corpus.

Topics: Math

View Post: https://x.com/panchromaticity/status/1638415732450148352