This contribution tentatively outlines the presumed conceptual duality between the issues of _incompleteness_ and _incomprehensibility_—The first being more formal in nature and able to be declined in various ways until specified in the literature as _theoretical incompleteness_. This is _theoretical_ and not temporary, which is admissible and the completion prosecutable. As considered in the literature, theoretical incompleteness refers to _uncertainty principles_ in physics, incompleteness in mathematics, oracles for the Turing Machine, _logical openness_ as the multiplicity of models focusing on coherence (...) more than the optimum selections, _fuzziness_, _quasiness_, e.g., quasi-crystals, quasi-systems, and quasi-periodicity, which are intended as the space of equivalences that allow for coherent processes of emergence. The issue of incomprehensibility cannot be considered without reference to an agent endowed with cognitive abilities. In this article, we consider incomprehensibility as understood here as not generally scientifically explicable, i.e., with the available knowledge, as such incomprehensibility may be temporary, pending theoretical and technological advances, or deemed to be absolute as coincident with eventual _definitive_, theoretical non-explicability, and incomprehensibility. We considered the _theoretically incomprehensibility_ mostly in three main ways: as the inexhaustibility of the multiplicity of constructivist reality as given by the theoretically incomprehensible endless loop of incomprehensible−comprehensible, and by existential questions. Moreover, _theoretical incomprehensibility is intended as evidence of the logical openness of both the world and of understanding itself._ The role of theoretical incomprehensibility is intended as a source of theoretical research issues such as paradoxes and paradigm shifts, where it is a matter of having cognitive strategies and approaches to look for, cohabit, combine, and use comprehensibility and (theoretical) incomprehensibility. The usefulness of imaginary numbers comes to mind. Can we support such research for local, temporary, and theoretical incomprehensibility with suitable approaches such as software tools, for instance, that simulate the logical frameworks of incomprehensibility? Is this a step toward a kind of _artificial creativity leading to paradigm shifts_? The most significant novelty of the article lies in the focus on the concept of theoretical incomprehensibility and distinguishing it from incomprehensibility and considering different forms of understanding. It is a matter of identifying strategies to _act_ and _coexist_ with the theoretically incomprehensible, to _represent_ and _use_ it, for example when dealing with imaginary numbers and quantum contexts where classical comprehensibility is theoretically impossible. Can we think of forms of non-classical understanding? In this article, these topics are developed in conceptual and philosophical ways. (shrink)

We consider processes of emergence within the conceptual framework of the Information Loss principle and the concepts of systems conserving information; systems compressing information; and systems amplifying information. We deal with the supposed incompatibility between emergence and computability tout-court. We distinguish between computational emergence, when computation acquires properties, and emergent computation, when computation emerges as a property. The focus is on emergence processes occurring within computational processes. Violations of Turing-computability such as non-explicitness and incompleteness are intended to represent partially the (...) properties of phenomenological emergence, such as logical openness, given by the observer’s cognitive role; structural dynamics where change regards rules rather than only values; and multi-modelling where multiple non-equivalent models are required to model such structural dynamics. In this way, we validate, from an epistemological viewpoint, models and simulations of phenomenological emergence where the sequence of events constitutes the natural, analogical non-Turing computation which a cognitive complex system can reproduce through learning. Reproducibility through learning is different from Turing-like computational iteration. This paper aims to open a new, non-reductionist understanding of the conceptual relationship between emergence and computability. (shrink)

We begin with the history of the discovery of computability in the 1930’s, the roles of Gödel, Church, and Turing, and the formalisms of recursive functions and Turing automatic machines . To whom did Gödel credit the definition of a computable function? We present Turing’s notion [1939, §4] of an oracle machine and Post’s development of it in [1944, §11], [1948], and finally Kleene-Post [1954] into its present form. A number of topics arose from Turing functionals including continuous functionals on (...) Cantor space and online computations. Almost all the results in theoretical computability use relative reducibility and o-machines rather than a-machines and most computing processes in the real world are potentially online or interactive. Therefore, we argue that Turing o-machines, relative computability, and online computing are the most important concepts in the subject, more so than Turing a-machines and standard computable functions since they are special cases of the former and are presented first only for pedagogical clarity to beginning students. At the end in §10–§13 we consider three displacements in computability theory, and the historical reasons they occurred. Several brief conclusions are drawn in §14. (shrink)

This book is dedicated to the consolidation and to the expansion of theoretic systems thinking as a necessary integration of the general reductionist and analytical attitude dominant in our culture. Reductionism and analytical approaches have produced significant results in many fields of contemporary knowledge giving a great contribution to relevant scientific discoveries and to their technological application, but their validity has been improperly universalized as the only and best methods of knowledge in every domain. It is nowadays clear that analytical (...) or mereological approaches are inadequate to solve many problems and that we should introduce – or support the diffusion of - new concepts and different research attitudes. A good candidate to support such a shift is the well known theoretical approach based on the concept of “system” that no more considers the elementary constituents of an object, but the entity emerging from the relations and interactions among its elementary parts. It becomes possible to reconstruct several domains, both philosophical and scientific, from the systemic point of view, introducing fresh ideas in the research in view of a general rational vision of the world on more comprehensive basis. This book contributes to the diffusion and evolution of systemic thinking by focusing on two main objectives: developing and updating the systemic approach in disciplines currently using it and introducing the systemic perspective in humanistic disciplines, where the approach is not widely used. The Systemic Turn in Human and Natural Sciences: A Rock in the Pond is comprised of ten chapters. The chapter authors adopt a trans-disciplinary perspective, consisting in the recognition and harmonization of the special outlooks that together, within the general systemic paradigm, gives an ideal unity to the book. (shrink)