Talk:Indeterminacy in concurrent computation

message: I dunno, this article just sounds plain old confused and wrong to me; I'm tempted to suggest deletion. Arguing that a hung gate is a form of quantum indeterminacy is certainly a novel idea, but I think a whole lotta work would need to be done to prove this, in particular, ruling out purely classical explanations like ground bounce and what not. I doubt that anyone who actually designs real transistors for a living would agree with such an assessment. I'd need to see something other than handwaving to believe this. linas 04:19, 16 September 2005 (UTC)
thread_title: Article for deletion? 

message: I don't believe this:
:Arbiters are designed to resolve this instability as rapidly as possible into a stable state, a process known as quantum decoherence
For many reasons.  Resolution into stability is not decoherence.  Metastability might theoretically be a result of superposition of states, but I have seen no evidence for this in practice.
See International Journal of Modern Physics C 
Can Quantum Synchronizers Solve the Metastability Problem of Asynchronous Digital Systems?, Vol. 1, No. 4 (1990) 329-342. Reinhard Männer
Abstract:	
:: The synchronization of asynchronous signals can lead to metastable behavior and malfunction of digital circuits. It is believed — but not proved — that metastability principally cannot be avoided. Confusion exists about its practical importance. This paper shows that metastable behavior can be avoided by usage of quantum synchronizers in principle, but not in practice, and that conventional synchronizers unavoidably show metastable behavior in principle, but not in practice, if properly designed
--CSTAR 20:57, 27 September 2005 (UTC)
thread_title:  Disputed statement 

message: I slapped the POV label on this article for the following reasons:
# This article appears to be about quantum indeterminacy in electronic circuits, and not in computation in general.
# This article fails to mention competing theories for the cause of that indeterminacy.
# This article fails to mention the experimental status of the various competing theories. 
# The references given appear to have nothing to do with the actual subject of the article.
Please note that this very same issue has already been argued on the talk page to metastability in electronics, which has now been moved to arbiter (electronics) (that is, see Talk:arbiter (electronics).) linas 14:25, 19 October 2005 (UTC)
thread_title: POV label

message: I merged in Actor model, mathematical logic, and physics as per discussion pages.--Carl Hewitt 23:16, 26 November 2005 (UTC)
thread_title:  Merged in [[Actor model, mathematical logic, and physics]] 

message: Currently reads "Indeterminacy in concurrent computation is concerned with the effects of indeterminacy in concurrent computation" - so it's concerned with the effects of itself, nice. Surely someone can think of a better intro than that. 82.39.140.240 (talk) 22:36, 1 June 2009 (UTC)
replies: text: The line actually reads as follows:  "Indeterminacy in concurrent computation is concerned with the effects of indeterminacy in concurrent computation." where the links provide additional meaning.  But you are right that we should word it  better.67.169.49.29 (talk) 14:45, 2 June 2009 (UTC)
thread_title: Introduction line

message: I'm sorry to be frank, but this section is nonsensical:
:Prolog-like concurrent systems were claimed to be based on mathematical logic
:Keith Clark, Hervé Gallaire, Steve Gregory, Vijay Saraswat, Udi Shapiro, Kazunori Ueda, etc. developed a family of Prolog-like concurrent message passing systems using unification of shared variables and data structure streams for messages. Claims were made that these systems were based on mathematical logic.[citation needed] This kind of system was used as the basis of the Japanese Fifth Generation Project (ICOT).
:Carl Hewitt and Gul Agha [1991] argued that these Prolog-like concurrent systems were neither deductive nor logical: like the Actor model, the Prolog-like concurrent systems were based on message passing and consequently were subject to the same indeterminacy.
The mathematical properties of a formal system has *nothing* to do with the physical implementations of it. One can formalize a programming language using a multitude of mathematical tools (such as, er, a logic..), but this unfortunately does not affect its physical realization.
To be clear: prolog *was* formalized (see http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.954 and its citations). This is a mathematical, abstract property, that *does not affect* the indeterminacy a physical system that implements prolog might have (other than the semantics of the language itself).
(Also, please note that many languages has been formalized with some 'logic', even the ones that does not favor the 'logic programming' paradigm) --187.40.172.119 (talk) 03:25, 20 August 2010 (UTC)
thread_title:  Sense and nonsense 

message: The word "indeterminacy" is linked to some pages - which bring you back to here!  — Preceding unsigned comment added by 142.167.186.3 (talk) 01:17, 29 May 2012 (UTC)
thread_title:  Indeterminacy definition is looped 

message: Uh, someone knowledgeable needs to decide whether it's tendentious overreach to motivate an entire typology of concurrent computation on the seldom-observed Buridan's ass (see specifically Buridan's Principle) and then this article needs to be made comprehensible in a proper Wikipedia idiom, or it needs to die in a fire, with no in between. — MaxEnt 22:58, 22 February 2016 (UTC)
replies: text: The irony is, of course, that this article is stuck in a meta-stable state between re-writing and deletion. Maybe, like Schroedinger's cat, it's both dead and alive.67.198.37.16 (talk) 05:24, 20 January 2017 (UTC)
thread_title:  AfD candidate surely (or prompt rescue project) 

message: Hello fellow Wikipedians,
I have just modified one external link on Indeterminacy in concurrent computation. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
*Added archive https://web.archive.org/web/20171210124010/https://vvvvw.aaai.org/Papers/Symposia/Spring/2006/SS-06-08/SS06-08-003.pdf to https://vvvvw.aaai.org/Papers/Symposia/Spring/2006/SS-06-08/SS06-08-003.pdf
When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.
Cheers.—InternetArchiveBot (Report bug) 02:48, 9 January 2018 (UTC)
thread_title:  External links modified