相关论文: Hempel's dilemma and the physics of computation

More than a speculative technology, quantum computing seems to challenge our most basic intuitions about how the physical world should behave. In this thesis I show that, while some intuitions from classical computer science must be…

This article is devoted to the study of which appears as the most famous paradoxes of quantum theory (Schrodinger cat, EPR argument and Aspect experiments, delayed choice experiments and retrocausality problems). Through these experiments,…

Hypercomputation is a relatively new branch of computer science that emerged from the idea that the Church--Turing Thesis, which is supposed to describe what is computable and what is noncomputable, cannot possible be true. Because of its…

Experiment plays a decisive role in physics. It is the single source of our understanding of nature. But, during the last century the main accent in theoretical physics has moved toward metaphysics. Some mathematicians/theoreticians try to…

As far as algorithmic thinking is bound by symbolic paper-and-pencil operations, the Church-Turing thesis appears to hold. But is physics, and even more so, is the human mind, bound by symbolic paper-and-pencil operations? What about the…

The scientific status of physical cosmology has been the subject of philosophical debate ever since detailed mathematical models of the Universe emerged from Einstein's general theory of relativity. Such debates have revolved around whether…

Classical physics is generally regarded as deterministic, as opposed to quantum mechanics that is considered the first theory to have introduced genuine indeterminism into physics. We challenge this view by arguing that the alleged…

Heisenberg's breakthrough in his July 1925 paper that set in motion the development of Quantum Mechanics through subsequent papers by Born, Jordan, Heisenberg and also Dirac (from 1925 to 1927) is reexamined through a modern lens. In this…

Motivated by a generalization of Hempel's dilemma, I introduce a novel notion of empirical structure, as well as theory supervenience as a new reductive relationship between theories. One theory supervenes on another theory if the empirical…

The halting problem is considered to be an essential part of the theoretical background to computing. That halting is not in general computable has supposedly been proved in many text books and taught on many computer science courses, in…

The purpose of this project is to outline various philosophies on the metaphysics of mathematics that have been prominent since the time of Cantor, highlighting some biographical aspects that have influenced these ideas as well. The main…

A century ago, discoveries of a serious kind of logical error made separately by several leading mathematicians led to acceptance of a sharply enhanced standard for rigor within what ultimately became the foundation for Computer Science. By…

Several examples are used to illustrate how we deal cavalierly with infinities and unphysical systems in physics. Upon examining these examples in the context of infinities from Cantor's theory of transfinite numbers, the only known…

Quantum computing exposes the brilliance of quantum mechanics through computer science and, as such, gives oneself a marvelous and exhilarating journey to go through. This article leads along that journey with a historical and current…

The problem of whether or not the equations of motion of a quantum system determine the commutation relations was posed by E.P.Wigner in 1950. A similar problem (known as "The Inverse Problem in the Calculus of Variations") was posed in a…

Towards the end of the 19th century, Kelvin pronounced as the "clouds of physics" 1) the failure of the Michelson-Morely experiment to detect an ether wind, 2) the violation of the classical mechanical equipartition theorem in statistical…

Cosmoparticle physics offers the exciting challenge for the new Millenium to come to the true knowledge on the basic natural laws and on the way, they govern the creation and evolution of the Universe with all the forms of its present…

A new mathematics, the constructive one, characterizes a singular limit as undecidable. Hence, a singular limit between two theories actually represents a difference between two different kinds of mathematics. This particular situation…

We explore the different meanings of "quantum uncertainty" contained in Heisenberg's seminal paper from 1927, and also some of the precise definitions that were explored later. We recount the controversy about "Anschaulichkeit",…

At the intersection of what I call uncomputable art and computational epistemology, a form of experimental philosophy, we find an exciting and promising area of science related to causation with an alternative, possibly best possible,…