Rythur · @rythur
109 followers · 1163 posts · Server mastodon.social

Since reading more into Gödel's Incompleteness Theorems, I get the feeling that there are procedures (?) outside of which provide to problems that math cannot handle. In speaking with a friend, I said I picture a procedure that just solves things without recursive math or , something that just solves problems without math, something . Now, the trick is to come up with something that solves math problems but is not math and is outside of intuition.

#math #solutions #TuringMachines #nonalgorithmic

Last updated 2 years ago