English
Related papers

Related papers: Physically-Relativized Church-Turing Hypotheses

200 papers

General characterization of physical measurements is discussed within the framework of a classical information theory. Uncertainty relation for simultaneous measurements of two physical observables is defined in this framework for…

Quantum Physics · Physics 2012-12-18 Yoshimasa Kurihara

We propose a new definition of actual causes, using structural equations to model counterfactuals.We show that the definitions yield a plausible and elegant account ofcausation that handles well examples which have caused problems forother…

Artificial Intelligence · Computer Science 2013-01-14 Joseph Y. Halpern , Judea Pearl

If we define classical foundational concepts constructively, and introduce non-algorithmic effective methods into classical mathematics, then we can bridge the chasm between truth and provability, and define computational methods that are…

General Mathematics · Mathematics 2007-05-23 Bhupinder Singh Anand

We discuss the issue of motivating the analysis of higher order gravity theories and their cosmologies and introduce a rule which states that these theories may be considered as a vehicle for testing whether certain properties may be of…

General Relativity and Quantum Cosmology · Physics 2007-05-23 S. Cotsakis

Several philosophical issues in connection with computer simulations rely on the assumption that results of simulations are trustworthy. Examples of these include the debate on the experimental role of computer simulations \cite{Parker2009,…

Other Computer Science · Computer Science 2019-04-03 Juan M. Durán , Nico Formanek

It has been suggested, on the one hand, that quantum states are just states of knowledge; and, on the other, that quantum theory is merely a theory of correlations. These suggestions are confronted with problems about the nature of…

Quantum Physics · Physics 2007-05-23 Matthew J. Donald

Computational problems are classified into computable and uncomputable problems. If there exists an effective procedure (algorithm) to compute a problem then the problem is computable otherwise it is uncomputable. Turing machines can…

Computational Complexity · Computer Science 2024-09-06 Asad Khaliq

We explain how recent developments in the fields of realisability models for linear logic -- or geometry of interaction -- and implicit computational complexity can lead to a new approach of implicit computational complexity. This…

Logic in Computer Science · Computer Science 2015-07-03 Thomas Seiller

The physical models of a successful unified theory about the Universe must operate in different phase of matter evolution and different fields of physics. The attempts to build such wide range theory as a bunch of theories developed for…

General Physics · Physics 2007-05-23 S. Sarg

Wolfram's Principle of Computational Equivalence (PCE) implies that universal complexity abounds in nature. This paper comprises three sections. In the first section we consider the question why there are so many universal phenomena around.…

Logic in Computer Science · Computer Science 2012-11-09 Joost J. Joosten

A perplexing problem in understanding physical reality is why the universe seems comprehensible, and correspondingly why there should exist physical systems capable of comprehending it. In this essay I explore the possibility that rather…

History and Philosophy of Physics · Physics 2015-11-10 Sara Imari Walker

We propose a new definition of actual cause, using structural equations to model counterfactuals. We show that the definition yields a plausible and elegant account of causation that handles well examples which have caused problems for…

Artificial Intelligence · Computer Science 2007-05-23 Joseph Y. Halpern , Judea Pearl

Quantum mechanics led to spectacular technological developments, discovery of new constituents of matter and new materials. However there is still no consensus on its interpretation and limitations. Some scientists and scientific writers…

Quantum Physics · Physics 2018-12-19 Marian Kupczynski

Complexity theory as practiced by physicists and computational complexity theory as practiced by computer scientists both characterize how difficult it is to solve complex problems. Here it is shown that the parameters of a specific model…

Disordered Systems and Neural Networks · Physics 2013-05-29 S. N. Coppersmith

Endeavoring to formulate an exhaustive solution to the measurement problem in view of the theory of decoherence leads to a better understanding of the status of the collapse and of the emergence of classicality, thanks to a precise…

Quantum Physics · Physics 2023-09-01 Antoine Soulas

We aim at studying collections of algebraic structures defined over a commutative ring and investigating the complexity of significant constructions carried out on these objects. The assignment of measures of size, via a multiplicity…

Commutative Algebra · Mathematics 2014-02-11 Wolmer V. Vasconcelos

There is a persistent state of confusion regarding the account of the quantum origin of the seeds of cosmological structure during inflation. In fact, a recent article (C. Kiefer & D. Polarski, ArXiv: 0810.0087 [astro-ph]) addresses the…

General Relativity and Quantum Cosmology · Physics 2011-05-09 Daniel Sudarsky

We will focus on the Quantum theory and starting from simple philosophical conjectures, we infer possible different physical realities. Also we argue of possible wavefunction emerging under specific conditions of the physical reality.…

General Physics · Physics 2007-05-23 Helen Lynn , Michele Caponigro

With the relentless rise of computer power, there is a widespread expectation that computers can solve the most pressing problems of science, and even more besides. We explore the limits of computational modelling and conclude that, in the…

Computers and Society · Computer Science 2021-04-28 Peter V. Coveney , Roger R. Highfield

We analyze the notion that physical theories are quantitative and testable by observations in experiments. This leads us to propose a new, Bayesian, interpretation of probabilities in physics that unifies their current use in classical…

Quantum Physics · Physics 2007-05-23 Francis G. Perey
‹ Prev 1 8 9 10 Next ›