Talk:Indeterminacy in concurrent computation: Difference between revisions

Revision as of 05:07, 20 January 2017

Latest revision as of 04:54, 28 January 2024

(3 intermediate revisions by 2 users not shown)

Line 1:

{{WikiProject banner shell|class=|

{{WikiProject Computer science}}

}}

==Article for deletion? ==

Line 183 ⟶ 185:

::First reaction is: no-shit, sherlock, indeterminancy is a fundamental property of concurrent computation, and this would have been equally "obvious" by 1985 and 1991, so surely Hewitt and Agha are saying something more subtle than that. So it seems that sentence can be discarded, or re-written.. Next sentence: ''"The Actor model makes use of arbitration ..."'' but non-determinism is not specific to the actor model. Its made explicit in notions such as confluence, or the partially-commutative monoids, in general. So can we delete "Actor" from that paragraph? If this is done, what's left doesn't seem to say anything .. noteworthy.

::Then we move onto this sentence: ''Therefore mathematical logic can not implement concurrent computation in open systems.'' Huh? Mathematical logic, here, refers to what? [[Propositional logic]]? [[predicate logic]]? [[First-order logic]]? [[Higher order logic]]? [[Topoi]]? [[type theory]]? Is it trying to say that CCS and monoids and [[term rewriting]] aren't "mathematical logic"? What does the word "implement" mean? Does it mean "isomorphic" or "homomorphic"? Does it mean [[elementary extension]]? Does it mean something else? The trace monoids do provide a language for talking about homomorphisms of systems of concurrent computation; at least some of what [[model theory]] does has been extended to concurrent systems, its used in semiconductor design these days ([[boolean SAT]] and [[SMT]] solvers). So WTF? Can we scratch this sentence? One can proceed through this entire article, and tag it with ''dubious-discuss'' tags on every single sentence. I'd re-write this myself, except I can't figure out what the article is supposed to be about. [[Special:Contributions/67.198.37.16|67.198.37.16]] ([[User talk:67.198.37.16|talk]]) 04:27, 20 January 2017 (UTC)

== AfD candidate surely (or prompt rescue project) ==

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 [http://research.microsoft.com/en-us/um/people/lamport/pubs/buridan.pdf 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. — [[user:MaxEnt|MaxEnt]] 22:58, 22 February 2016 (UTC)

: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.[[Special:Contributions/67.198.37.16|67.198.37.16]] ([[User talk:67.198.37.16|talk]]) 05:24, 20 January 2017 (UTC)

== External links modified ==

Hello fellow Wikipedians,

I have just modified one external link on [[Indeterminacy in concurrent computation]]. Please take a moment to review [[special:diff/819388202|my edit]]. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit [[User:Cyberpower678/FaQs#InternetArchiveBot|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.

{{sourcecheck|checked=false|needhelp=}}

Cheers.—[[User:InternetArchiveBot|'''<span style="color:darkgrey;font-family:monospace">InternetArchiveBot</span>''']] <span style="color:green;font-family:Rockwell">([[User talk:InternetArchiveBot|Report bug]])</span> 02:48, 9 January 2018 (UTC)