Related papers: A Dialogue Concerning Two World Systems: Info-Comp…
All natural things process and transform information. They receive environmental information as input, and transform it into appropriate output responses. Much of science is dedicated to building models of such systems -- algorithmic…
We investigate the theory of thermodynamic formalism from the perspective of computable analysis, with a special focus on the computability of equilibrium states. Specifically, we develop two complementary general approaches to verify the…
Over two decades ago a "quite revolution" overwhelmingly replaced knowledgebased approaches in natural language processing (NLP) by quantitative (e.g., statistical, corpus-based, machine learning) methods. Although it is our firm belief…
In this course, I talk about the source of mathematical constructivism and its role in the future development of theoretical physics. I describe what physical constructivism is and why it is necessary for the penetration of exact methods of…
This article was written in response to a request from an editor of American Vedantist. It is shown that the idea that consciousness is essential to understanding quantum mechanics arises from logical fallacies. This may be welcome news to…
One of the most compelling problems in science consists in understanding how living systems process information. After all, the way they process information defines their capacities to learning and adaptation. There is an increasing…
Climate change, vaccination, abortion, Trump: Many topics are surrounded by fierce controversies. The nature of such heated debates and their elements have been studied extensively in the social science literature. More recently, various…
I discuss some problems related to extreme mathematical realism, focusing on a recently proposed "shut-up-and-calculate" approach to physics (arXiv:0704.0646, arXiv:0709.4024). I offer arguments for a moderate alternative, the essence of…
We present a computer-supported approach for the logical analysis and conceptual explicitation of argumentative discourse. Computational hermeneutics harnesses recent progresses in automated reasoning for higher-order logics and aims at…
Free will is fundamental to morality, intuition of self, and normal functioning of the society. However, science does not provide a clear logical foundation for this idea. This paper considers the fundamental scientific argument against…
Whereas today's information systems are well-equipped for efficient query handling, their strict mathematical foundations hamper their use for everyday tasks. In daily life, people expect information to be offered in a personalized and…
In our daily life experiences we face localized objects which are "here or there" not "here and there". The state of a cat could be "dead and alive" at the same time from a quantum mechanical point of view, which is not in agreement with…
Computing has passed through many transformations since the birth of the first computing machines. Developments in technology have resulted in the availability of fast and inexpensive processors, and progresses in communication technology…
Can the computational complexity theory of computer science and mathematics say something new about unresolved problems in quantum physics? Particularly, can the P versus NP question in the computational complexity theory be a factor in the…
Quantum Darwinism extends the traditional formalism of decoherence to explain the emergence of classicality in a quantum universe. A classical description emerges when the environment tends to redundantly acquire information about the…
This article sets out our perspective on how to begin the journey of decolonising computational fields, such as data and cognitive sciences. We see this struggle as requiring two basic steps: a) realisation that the present-day system has…
Quantum Darwinism attempts to explain the emergence of objective reality of the state of a quantum system in terms of redundant information about the system acquired by independent non interacting fragments of the environment. The…
Inspired by e-participation systems, in this paper we propose a new model to represent human debates and methods to obtain collective conclusions from them. This model overcomes drawbacks of existing approaches by allowing users to…
This paper motivates the study of decision theory as necessary for aligning smarter-than-human artificial systems with human interests. We discuss the shortcomings of two standard formulations of decision theory, and demonstrate that they…
In this paper, we analyze axiomatic issues of unconventional computations from a methodological and philosophical point of view. We explain how the new models of algorithms changed the algorithmic universe, making it open and allowing…