3 Sep
2023
3 Sep
'23
2:53 a.m.
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 —