51–53 of 53 posts
leibniz' project always reminded me of word2vec ada lovelace was warned off poetry because her mom hated her dad, and pushed into science, and so she developed 'poetical science' aka general computing. (she was also inspired by embroidery card technology I think)
Earlier quoted context omitted.
Yes, I first read about Leibniz’s machine from the wikipedia page on the Entscheidungsproblem. The research on this problem eventually led to the invention of Lambda calculus and the Turing machine (formal languages for computing), which proved that such a project is impossible, as on some inputs they infinitely recurse and can’t output True or False. https://en.wikipedia.org/wiki/Entscheidungsproblem The source is M…
It did not prove the idea impossible. Just trivial/naive versions of the idea which ignore the halting problem or incompleteness theorem.
Earlier quoted context omitted.
Yes, I first read about Leibniz’s machine from the wikipedia page on the Entscheidungsproblem. The research on this problem eventually led to the invention of Lambda calculus and the Turing machine (formal languages for computing), which proved that such a project is impossible, as on some inputs they infinitely recurse and can’t output True or False. https://en.wikipedia.org/wiki/Entscheidungsproblem The source is M…
My brain also infinitely recurses on some problems and can't output True or False. Guess my brain is impossible. ???
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??