[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