Presymbolic computation appears to me to be an invented term. Any theoretical or actual system can be framed in computational terms when analysed, but the properties provided through the use of symbols will still exist in a system, whether or not that analysis has been performed. The paper you cite appears to me to lean in the direction of cybernetics and control theory, that would naturally be able to translate into terms aligned to information theory. The same rules will apply to any physical system, no matter how complicated you believe it to be.

0Thread HN

Computer Search Settles 90-Year-Old Math Problem 6 years ago

Human understanding of cognition is not yet at a level that enables the creation of a program or system for general automated theorem proving. Much work has been required to create existing systems for very narrow problems. Technology has not reached a level where artificial intelligence systems can undergo the equivalent of millions of years of evolution to achieve an equivalence to general human intelligence; this may not even be achievable.

As for some “magic glasses” mathematical proving tool, it is probably inside the chocolate teapot on the other side of the sun.

0Thread HN