@Virtual1nstinct fwiw godel used this sort of thing as part of the proof of the incompleteness theorem

Posters: QiaochuYuan. QiaochuYuan

2 likes recorded by the source corpus.

Topics: Games

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