The Future of Mathematics? [video]
This might be a very naive question but I was wondering: are there mathematical proofs that fundamentally cannot be computed? And I don&#x27;t mean that in the Ackermann function[0] sense of the words, I mean is there mathematics that is inherently <i>beyond</i> computation?<p>(still watching the video)<p>EDIT: follow-up, since the replies helpfully point out that yes, it is: does this limit this kind of software, or can theorem proving software get around this by human intervention?<p>[0] <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Ackermann_function" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Ackermann_function</a>