Somewhere (I wish I remember where) I read that Gottlob Frege, although he didn't invent a logic algorithm, alluded to one (the Quine–McCluskey algorithm? something else? converting truth tables to Boolean expressions in a normal form?).

Did Frege have an early idea regarding a logic algorithm, even though he did not invent an algorithm?

  • $\begingroup$ What do you mean by "logic algorithm"? $\endgroup$
    – Nagase
    Jan 21, 2019 at 15:40
  • $\begingroup$ @Nagase something that would fit in the same class of algorithms as the Quine-McCluskey algorithm $\endgroup$
    – Geremia
    Jan 21, 2019 at 22:42


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.