A single coherent language that encompasses the expression of computation from high level abstract design through automatic elaboration to the ultimate netlist of primitive behaviors that enlivens the design. A language that characterizes computation as association relations among differentnesses, as patterns of changing differentness relative to structures of persistent differentness as “all of” relations and “one of” relations forming spontaneously behaving, self regulating networks of interacting differentness. Continue reading Rethinking Computer Science Part 7: A Language of Computation
A given computation can be expressed many ways across the spectrum. An example computation presented as a mapping in Table 1, is expressed at various places along the spectrum. Continue reading Rethinking Computer Science Part 6: Across the Spectrum
What is the most primitive provenance of computation and how does it extend to the complexities of life and mathematics? Continue reading Rethinking Computer Science Part 5: The Provenance of Computation
Can there exist an approach to universal interpretability that relates directly to the dependency network and which preserves its distributed concurrency? Continue reading Rethinking Computer Science Part 4: A Network Interpreter
Part 3 presents the logical structures of a memory, a configurable oscillation and a sequential interpreter ring forming a traditional universal sequential processor. Continue reading Rethinking Computer Science Part 3: A Sequential Interpreter.
Part 2 presents a logical foundation for computation that does not exhibit the difficulties discussed in part 1. Continue reading Rethinking Computer Science Part 2: A Sufficiently Expressive Logic
The purpose of this site is to present and explore a new view of computation and computer science,
- not as a sequence of steps controlling a machine altering contents of a memory
- but as wavefronts of computation and state spontaneously flowing through a network of linked oscillations,
- not as clock actualized, step by step, time determined, centralized control
- but as self actualizing, event driven, logically determined, distributed concurrent local coordination,
- not as information manipulation
- but as information interaction,
- nothing global, nothing central, nothing timed.
- a model of computation that applies to all forms of computation natural and artificial and that applies uniformly to all levels of abstraction from primitive implementation through general programmability,
a new view of computation and computer science.
Computer science is formulated with concepts borrowed from mathematics. Even though mathematics defines mathematical computation and computer science is about computation, it is argued here that there are fundamental differences between the two, that computer science is not well served by the borrowed concepts and that there exists a conceptual grounding that more effectually addresses the goals and problems of computer science. Continue reading Rethinking Computer Science Part 1: The Problem