TAPAs: A Tool for the Analysis of Process Algebras

Process algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to support the use of process algebras to specify and analyze concurrent systems. It does not aim at guaranteeing high performances, but has been developed as a support to teaching. Systems are described as process algebras terms that are then mapped to labelled transition systems (LTSs). Properties are verified either by checking equivalence of concrete and abstract systems descriptions, or by model checking temporal formulae over the obtained LTS. A key feature of TAPAs, that makes it particularly suitable for teaching, is that it maintains a consistent double representation of each system both as a term and as a graph. Another useful didactical feature is the exhibition of counterexamples in case equivalences are not verified or the proposed formulae are not satisfied

Process Algebras

Process Algebras are mathematically rigorous languages with well defined semantics that permit describing and verifying properties of concurrent communicating systems. They can be seen as models of processes, regarded as agents that act and interact continuously with other similar agents and with their common environment. The agents may be real-world objects (even people), or they may be artifacts, embodied perhaps in computer hardware or software systems. Many different approaches (operational, denotational, algebraic) are taken for describing the meaning of processes. However, the operational approach is the reference one. By relying on the so called Structural Operational Semantics (SOS), labelled transition systems are built and composed by using the different operators of the many different process algebras. Behavioral equivalences are used to abstract from unwanted details and identify those systems that react similarly to external experiments

Doing and Showing

The persisting gap between the formal and the informal mathematics is due to an inadequate notion of mathematical theory behind the current formalization techniques. I mean the (informal) notion of axiomatic theory according to which a mathematical theory consists of a set of axioms and further theorems deduced from these axioms according to certain rules of logical inference. Thus the usual notion of axiomatic method is inadequate and needs a replacement.Comment: 54 pages, 2 figure

Adjoint exactness

Plato's ideas and Aristotle's real types from the classical age, Nominalism and Realism of the mediaeval period and Whitehead's modern view of the world as pro- cess all come together in the formal representation by category theory of exactness in adjointness (a). Concepts of exactness and co-exactness arise naturally from ad- jointness and are needed in current global problems of science. If a right co-exact valued left-adjoint functor ( ) in a cartesian closed category has a right-adjoint left- exact functor ( ), then physical stability is satis ed if itself is also a right co-exact left-adjoint functor for the right-adjoint left exact functor ( ): a a . These concepts are discussed here with examples in nuclear fusion, in database interroga- tion and in the cosmological ne structure constant by the Frederick construction

Loops and Knots as Topoi of Substance. Spinoza Revisited

The relationship between modern philosophy and physics is discussed. It is shown that the latter develops some need for a modernized metaphysics which shows up as an ultima philosophia of considerable heuristic value, rather than as the prima philosophia in the Aristotelian sense as it had been intended, in the first place. It is shown then, that it is the philosophy of Spinoza in fact, that can still serve as a paradigm for such an approach. In particular, Spinoza's concept of infinite substance is compared with the philosophical implications of the foundational aspects of modern physical theory. Various connotations of sub-stance are discussed within pre-geometric theories, especially with a view to the role of spin networks within quantum gravity. It is found to be useful to intro-duce a separation into physics then, so as to differ between foundational and empirical theories, respectively. This leads to a straightforward connection bet-ween foundational theories and speculative philosophy on the one hand, and between empirical theories and sceptical philosophy on the other. This might help in the end, to clarify some recent problems, such as the absence of time and causality at a fundamental level. It is implied that recent results relating to topos theory might open the way towards eventually deriving logic from physics, and also towards a possible transition from logic to hermeneutic.Comment: 42 page

Enhancing Visual Abilities in Solving Mathematics Problems

This research is an experiment of categorizing visual abilities by representations of a solving problem through class experiment. The research is to investigate, explore, and enhance geometry thinking in solving mathematics problems presented visually. The tasks are cognitive strategies that rely on the visual representations and the genesis of the abilities with the assumption that the performance requires the manipulation of the visual representations. The model of the research developed from the students’ imagination of a visual problem or situations for accomplishing the solution and called binocular rivalry. The data are of interconnection for promoting visual abilities or senses, as the flexibility of thinking and the likelihood of having representations available in prior knowledge. The data analyzed by categorizing according to the visual abilities and by Control Chart of Attributes. The results are: 80% of the visual abilities are nonconforming index; the variation of visual representations is high in nonconforming index, but the depth struggle by the subjects and 70% select the general geometric figures that recognized. The conclusions are comprehensive, and the visual representations are nonconforming index, and the visual senses enhance in all categories.   Keywords: Visual representation; Visual ability; Categorize visual skills; Geometry thinking; Cognitive strategy

Multivalued Logic, Neutrosophy and Schrodinger equation

This book was intended to discuss some paradoxes in Quantum Mechanics from the viewpoint of Multi-Valued-logic pioneered by Lukasiewicz, and a recent concept Neutrosophic Logic. Essentially, this new concept offers new insights on the idea of ‘identity’, which too often it has been accepted as given. Neutrosophy itself was developed in attempt to generalize Fuzzy-Logic introduced by L. Zadeh. While some aspects of theoretical foundations of logic are discussed, this book is not intended solely for pure mathematicians, but instead for physicists in the hope that some of ideas presented herein will be found useful. The book is motivated by observation that despite almost eight decades, there is indication that some of those paradoxes known in Quantum Physics are not yet solved. In our knowledge, this is because the solution of those paradoxes requires re-examination of the foundations of logic itself, in particular on the notion of identity and multi-valuedness of entity. The book is also intended for young physicist fellows who think that somewhere there should be a ‘complete’ explanation of these paradoxes in Quantum Mechanics. If this book doesn’t answer all of their questions, it is our hope that at least it offers a new alternative viewpoint for these old questions