Sergio Pissanetzky

Learn More
Many tools that analyze, refactor or otherwise evolve source code use ad-hoc, task-specific representations because the detailed information they need is hidden in the code and difficult to extract and organize. This leads to limited capabilities and interoperability. To address the problem, we propose the Relational Model of Computation (RMC), a(More)
The Matrix Model of Computation (MMC) is a new Turing-equivalent and Deutsch-equivalent virtual machine used for the mathematical analysis of systems. The importance of the MMC stems from the fact that it allows uniform techniques to be applied to all kinds of systems and makes them amenable to formal mathematical manipulation. But the strength of the MMC(More)
The Matrix Model of Computation (MMC) is a new Turing-complete virtual machine that serves as a formal container for the structural representation and analysis of systems, and finds applications in diverse areas such as Business, Software Engineering and Theoretical Physics. The MMC is a unifying notion in Systemics. It allows uniform, interoperable(More)
The recently introduced Matrix Model of Computation in its imperative form (iMMC) can perfectly represent any finite physical system. A new canonical form (cMMC) is introduced. The iMMC is sequential, highly structured, and object-oriented, and saves resources by reusing them heavily. Software and other models convert easily to iMMC and viceversa. The cMMC,(More)
Reported here is the discovery of a simple functional the optimization of which by a dynamical process results in extraordinary structural organization in partially ordered sets. Since partially ordered sets are one of the most prevalent and fundamental objects in Mathematics, and are ubiquitous in nature, physics, engineering and technology in general, and(More)
The recently introduced Turing-complete Matrix Model of Computation (MMC) is a connectionist, massively parallel, formal mathematical model that can be set up as a network of artificial neurons and represent any other ANN. The model is hierarchically structured and has a natural ontology determined by the information stored in the model. The MMC is(More)
A logic is a mathematical model of knowledge used to study how we reason, how we describe the world, and how we infer the conclusions that determine our behavior. The logic presented here is natural. It has been experimentally observed, not designed. It represents knowledge as a causal set, includes a new type of inference based on the minimization of an(More)