3 ms·
Your brain is not Leibniz’s machine nor the algorithm sought upon in the Entscheidungsproblem. Your brain also doesn’t infinitely recurse as it doesn’t have in
by ronenlh 5y ago
Your brain is not Leibniz’s machine nor the algorithm sought upon in the Entscheidungsproblem.
Your brain also doesn’t infinitely recurse as it doesn’t have infinite time or space.
A machine that given a logical statement outputs whether the statement is universally valid is impossible, ergo all mechanisms that don’t output true or false given a logical statement are impossible??