To the portion of this article that reads, “It seems obvious that communication between the provers can only serve to help the provers coordinate lies rather than assist the interrogator in discovering truth. For that reason, nobody expected that allowing more communication would make computational problems more reliable and solvable.” I’d like to say that assumption is based on the premise that the “provers” are lying to begin with; making such an assumption seems somewhat foreign to me, seeing as it makes sense to me that letting people who believe they are telling the truth talk to each other should help them remember things, try to come to a conclusion that makes sense to the group in majority, etc., etc. In short, just assuming someone’s lying right-out-the-gate gives the “interrogator” a bias towards the “provers” being untrustworthy & untruthful already.
On the subject of computers, why wouldn’t letting them discourse amongst each other be helpful? Let’s say you got some computers–maybe they’re using some type of a.i. software to complete said problem–working on the same, or similar problems, & those computers will take x-amount of time on average to complete their respective problems; now, let’s say a computer finishes a problem, & shares it with the others, which in turn maybe helps another computer finish, & that computer does the same, & so on, & so forth; that in my opinion greatly decreases the amount of time needed to solve a given problem. In a somewhat more practical sense, hooking computers up to each other to complete a complex problem isn’t a new thing, look at mining of crypto-currency mining; adding more processing power to it will decrease the amount of time it takes for those computers to mine crypto.
This basically says that all objective problems at solvable in theory by some computer (by an algorithm). But since quantum physics shows that reality is not objective, but depends on the observer, this breakthrough is sort of moot already.
Instead of Interrogators vs Provers, you should use Sceptics vs Provers, since they would not jave an incentive to lie to the sceptics like they would in a Criminal Interrogation example
wow, this is… an article
To the portion of this article that reads, “It seems obvious that communication between the provers can only serve to help the provers coordinate lies rather than assist the interrogator in discovering truth. For that reason, nobody expected that allowing more communication would make computational problems more reliable and solvable.” I’d like to say that assumption is based on the premise that the “provers” are lying to begin with; making such an assumption seems somewhat foreign to me, seeing as it makes sense to me that letting people who believe they are telling the truth talk to each other should help them remember things, try to come to a conclusion that makes sense to the group in majority, etc., etc. In short, just assuming someone’s lying right-out-the-gate gives the “interrogator” a bias towards the “provers” being untrustworthy & untruthful already.
On the subject of computers, why wouldn’t letting them discourse amongst each other be helpful? Let’s say you got some computers–maybe they’re using some type of a.i. software to complete said problem–working on the same, or similar problems, & those computers will take x-amount of time on average to complete their respective problems; now, let’s say a computer finishes a problem, & shares it with the others, which in turn maybe helps another computer finish, & that computer does the same, & so on, & so forth; that in my opinion greatly decreases the amount of time needed to solve a given problem. In a somewhat more practical sense, hooking computers up to each other to complete a complex problem isn’t a new thing, look at mining of crypto-currency mining; adding more processing power to it will decrease the amount of time it takes for those computers to mine crypto.
Why not allow for an “interrogator” and an “interrogated” , and then introduce. a “proved”? Let’s. get our syntax correct, shall we?
This basically says that all objective problems at solvable in theory by some computer (by an algorithm). But since quantum physics shows that reality is not objective, but depends on the observer, this breakthrough is sort of moot already.
Well, that was an interesting word soup ?
Instead of Interrogators vs Provers, you should use Sceptics vs Provers, since they would not jave an incentive to lie to the sceptics like they would in a Criminal Interrogation example