Right, and all digital computers are Turing Machines. See also Stephen Wolfram's Principle of Computational Equivalence[1]. There can be, and are theories tha

Right, and all digital computers are Turing Machines. See also Stephen Wolfram's Principle of Computational Equivalence[1]. There can be, and are theories that no one human brain can ever fully understand (like Quantum Mechanics) and yet we have developed them... no one person did, but they emerged from the combined work and brain power of many people and the tools they used, be those pure mathematics or (nowadays) Google, AI, computer proof assistants. That's why even Richard Feynman said no one ever really understands QM, one just kind of gets used to the way the math gives the right answers[2]. A single human brain could never have developed QM, but combine a large number of them and the right tools, and I don't see any reason why there should be "hard limits to knowledge" any more than there's a limit to what a turing machine can compute given enough time (and a long enough tape). [1] https://en.wikipedia.org/wiki/A_New_Kind_of_Science#Principle_of_computational_equivalence https://en.wikipedia.org/wiki/A_New_Kind_of_Science#Principl... [2] https://www.youtube.com/watch?v=aAgcqgDc-YM https://www.youtube.com/watch?v=aAgcqgDc-YM