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

Reply via email to