Talk:Two Generals' Problem

This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects:

Computing This article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing ??? This article has not yet received a rating on the project's importance scale.

Archives

Archive 1

This page has archives. Topics inactive for 90 days are automatically archived 1 or more at a time by Lowercase sigmabot III if there are more than 4.

I believe a diagram would help better visualize the problem then just plain text ShiberToast (talk) 18:15, 12 February 2020 (UTC)Reply

Proof by symmetry assumed that the attacker can send fake messages, but in the problem, the attacker can merely intercept messages. Should the subsection be removed? ShiberToast (talk) 18:38, 12 February 2020 (UTC)Reply

"The Two Generals' Problem was the first computer communication problem to be proved to be unsolvable" is a very strong but questionable statement. What about the various halting problems? Church, Turing, Godel, etc were working on unsolvable problems in the 1930s and 40s. Without an explanation and a great reference, I think we should drop that statement. --Drpixie (talk) 00:55, 2 May 2022 (UTC)Reply

agreed Titaan123 (talk) 08:29, 24 May 2022 (UTC)Reply

Yes, the halting problem was proved unsolvable long before the two generals' problem.

However, the halting problem is not a "communication problem".

I added a reference that says the closely-related, more complicated, Byzantine generals problem was "one of the first" computer communication problems proven to be unsolvable. It seems likely to me that two generals' problem was solved before that.

It would be nice if we found a reliable source that specifically named the first few computer communication problems proven to be unsolvable. (If it turns out that the two generals' problem wasn't proven until much later, what Wikipedia article would be best for mentioning that source?). --DavidCary (talk) 22:20, 31 August 2022 (UTC)Reply

I dont think this sentense is right, but it's hard to say with all the negation:

There is no algorithm that they can use (e.g. attack if more than four messages are received) that will be certain to prevent one from attacking without the other. 

There seems to be a trivial algorithm they can use to guarantee no one attacks without the other: Simply don't attack. In other words, the article does not guarantee that the algorithm is required to make progress. — Preceding unsigned comment added by ~2025-41753-41 (talk) 10:27, 19 December 2025 (UTC)Reply