13 Sep
2023
13 Sep
'23
10:42 p.m.
noi’d agree the algorithm’s output contains may contain all true sentences of arithmetic if it’s breadth first unsure, maybe there are self-referential things that need addressing let’s tr6 out the proof that’ said to be shorter