13 Sep
2023
13 Sep
'23
2:58 a.m.
incompleteness idea gurt/kurt was all ummmmmmmmm he was kinds like, “not sure about ‘this sentence be false’ but how about ‘this sentence be unprovable’” then he defines a coding from sentences to numbers and i dunno maybe imagines a theoretical number algebra that includes rules for sentences actually