Causal Loops in Time Travel

About the possibility of time traveling based on several specialized works, including those of Nicholas J. J. Smith ("Time Travel"), William Grey (”Troubles with Time Travel”), Ulrich Meyer (”Explaining causal loops”), Simon Keller and Michael Nelson (”Presentists should believe in time-travel”), Frank Arntzenius and Tim Maudlin ("Time Travel and Modern Physics"), and David Lewis (“The Paradoxes of Time Travel”). The article begins with an Introduction in which I make a short presentation of the time travel, and continues with a History of the concept of time travel, main physical aspects of time travel, including backward time travel in the past in general relativity and quantum physics, and time travel in the future, then a presentation of the Grandfather paradox that is approached in almost all specialized works, followed by a section dedicated to the Philosophy of time travel, and a section in which I analyze Causal loops for time travel. I finish my work with Conclusions, in which I sustain my personal opinions on the time travel, and the Bibliography on which the work is based

A Computable Economist’s Perspective on Computational Complexity

A computable economist's view of the world of computational complexity theory is described. This means the model of computation underpinning theories of computational complexity plays a central role. The emergence of computational complexity theories from diverse traditions is emphasised. The unifications that emerged in the modern era was codified by means of the notions of efficiency of computations, non-deterministic computations, completeness, reducibility and verifiability - all three of the latter concepts had their origins on what may be called 'Post's Program of Research for Higher Recursion Theory'. Approximations, computations and constructions are also emphasised. The recent real model of computation as a basis for studying computational complexity in the domain of the reals is also presented and discussed, albeit critically. A brief sceptical section on algorithmic complexity theory is included in an appendix

New frontiers at the interface of general relativity and quantum optics

In the present paper we follow three major themes: (i) concepts of rotation in general relativity, (ii) effects induced by these generalized rotations, and (iii) their measurement using interferometry. Our journey takes us from the Foucault pendulum via the Sagnac interferometer to manifestations of gravito-magnetism in double binary pulsars and in Gödel\u27s Universe. Throughout our article we emphasize the emerging role of matter wave interferometry based on cold atoms or Bose-Einstein condensates leading to superior inertial sensors. In particular, we advertise recent activities directed towards the operation of a coherent matter wave interferometer in an extended free fall. © 2009 Springer Science+Business Media B.V

Dependent choice, properness, and generic absoluteness

We show that Dependent Choice is a sufficient choice principle for developing the basic theory of proper forcing, and for deriving generic absoluteness for the Chang model in the presence of large cardinals, even with respect to -preserving symmetric submodels of forcing extensions. Hence, not only provides the right framework for developing classical analysis, but is also the right base theory over which to safeguard truth in analysis from the independence phenomenon in the presence of large cardinals. We also investigate some basic consequences of the Proper Forcing Axiom in, and formulate a natural question about the generic absoluteness of the Proper Forcing Axiom in and. Our results confirm as a natural foundation for a significant portion of classical mathematics and provide support to the idea of this theory being also a natural foundation for a large part of set theory