P. Wegner. Toward empirical computer science. The Monist, 82(1), Jan. 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Interaction as a Framework for Modeling - Peter Wegner And (14 citations) Self-citation (Wegner) (Correct)
No context found.
Peter Wegner, Towards Empirical Computer Science, The Monist, Issue on the Philosophy of Computation, Spring 1999, available at www.cs.brown.edu/people/pw.
Coinductive Models of Finite Computing Agents - Wegner, Goldin (1999) (7 citations) Self-citation (Wegner) (Correct)
No context found.
Peter Wegner. Towards Empirical Computer Science. The Monist, Issue on the Philosophy of Computation, Jan. 1999, available at www.cs.brown.edu/people/pw.
Paraconsistency of Interactive Computation - Goldin, Wegner Self-citation (Wegner) (Correct)
....in general be formalized by any sound and complete logic. Incompleteness shows the limitations of syntactic formalisms in expressing semantic behavior. The completeness incompleteness dichotomy distinguishes algorithms from IMs, closed from open systems, and rationalist from empiricist models [Weg99]. Formal incompleteness of computing systems is related to descriptive incompleteness of physical models of the real world. Interactive problem solving (section 2.2) is a first class form of computation that should be included in any intuitive notion of computability. Hence, logics need to go ....
....computing agents (e.g. the car in the WH problem) in the middle, to the behavior of real world objects at the other extremum. The notion of observation as a metric of expressiveness and equivalence for IMs is a natural extension of the role of observation in the formulation of physical theories [Weg99]. The idea that physical objects are not completely describable or knowable but that they may have describable parts or views is a basic tenet of the scientific method. An analogous idea for IMs is that there is no silver bullet when testing a software system, one can never be sure of having ....
Peter Wegner. Towards Empirical Computer Science. The Monist, Issue on the Philosophy of Computation, January 1999.
Mathematical Models of Interactive Computing - Wegner, Goldin (1999) (6 citations) Self-citation (Wegner) (Correct)
....complete behavior of MIMs is specifiable but not observable, leading to subjective nondeterminism due to limitations of observers related to quantum nondeterminism (section 4. 3) Mathematical Models of Interactive Computing 6 44 Parallels between computational and physical models explored in [We3] establish substantive connections between empirical computer science and models of observation of relativity and quantum theory. In particular, interactive models provide a stronger formulation of Einstein s argument that nondeterminism is due to incomplete observability, based on hidden ....
....for finite agents. The equivalent expressiveness of TMs, algorithms, computable functions, and formal systems is due largely to their common reliance on induction (section 3. 1) Coinductive reasoning is related to abduction, which infers inner properties of systems from their observed behavior [We3]. extension of mathematical expressiveness: inductive models coinductive (abductive) models Induction is a technique for definition and reasoning over enumerable linear or partially ordered structures such as integers, strings, trees, and theorems derivable from axioms. Coinduction is a ....
[Article contains additional citation context not shown here]
Peter Wegner, Towards Empirical Computer Science, The Monist, Issue on the Philosophy of Computation, Spring 1999, available at www.cs.brown.edu/people/pw.
A Framework for Systemic Coordination in Open.. - Fredriksson.. (2002) (Correct)
No context found.
P. Wegner. Toward empirical computer science. The Monist, 82(1), Jan. 1999.
A Note on Interaction and Incompleteness - Bojadziev (Correct)
No context found.
P. Wegner. Towards empirical computer science. The Monist, 82(1):58--108, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC