minus-squarenick_recursion@alien.topBtoLisp@communick.news•Gödel’s Proof in LisplinkfedilinkEnglisharrow-up1·1 year agoI think analyzing this article might help you determine the correctness of your approach. “I am not provable in PM-LISP” https://stopa.io/post/269 linkfedilink
I think analyzing this article might help you determine the correctness of your approach.
“I am not provable in PM-LISP” https://stopa.io/post/269