Skip to main content

Questions tagged [algorithm]

The tag has no usage guidance.

2 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
3 votes
0 answers
240 views

Who came up with the proof of "Bézout's identity" that uses the well-ordering principle?

Let $a$ and $b$ be two integers not both of which are equal to zero. It is an important and well-known fact that $\text{gcd}(a,b)=ax_{0}+by_{0}$ for some integers $x_{0}$ and $y_{0}$. Even though this ...
José Hdz. Stgo.'s user avatar
0 votes
0 answers
55 views

Frege alluded to a logic algorithm?

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 ...
Geremia's user avatar
  • 5,371