[spam][crazy][fiction][random] Non-Canon MCBoss Spinoffs
Undescribed Horrific Abuse, One Victim & Survivor of Many
gmkarl at gmail.com
Sat Sep 2 10:53:25 PDT 2023
i briefly listened to something on godel’s proof while driving
it’s a little unfortunate self-referential logics come across as so
esoteric on wikipedia
it sounds like basically if you establish a logic that can speak about
its own statements, e.g. stating that statement x is true
and you consider the statement “this statement is not provable”
i imagine you could define provability as the existence, in the set of
all true statements maybe —
More information about the cypherpunks
mailing list