Related papers: Some considerations on Determinism and Free Will
Lecture Notes for the Erice Summer School 2005 Computer Simulations in Condensed Matter: from Materials to Chemical Biology. Perspectives in celebration of the 65th Birthday of Mike Klein organized by Kurt Binder, Giovanni Ciccotti and…
We briefly summarize the main points made during the discussion session on the determination of $\Delta G/G$, where all Workshop participants were strongly encouraged to contribute.
In arXiv:1202.0691, Geloni et al. criticise our recent work describing the spontaneous emission by a relativistic, undulating electron beam. In particular they claim that our prediction of a quantum regime in which evolution of the electron…
There are many ways we can not know. Even in systems that we created ourselves, as, for example, systems in mathematical logic, Go\"edel and Tarski's theorems impose limits on what we can know. As we try to speak of the real world, things…
This volume contains the proceedings of the Combined 22nd International Workshop on Expressiveness in Concurrency and the 12th Workshop on Structural Operational Semantics (EXPRESS/SOS 2015) which was held on 31 August 2015 in Madrid,…
These five lectures on undecidability were given to students with a good level in mathematics but with no special knowledge on logic. The first conference presents the formalization of mathematics with a short historical survey, the…
The aim of this paper is to contribute to a better conceptual understanding of gauge quantum field theories, such as quantum chromodynamics, by discussing a famous physical limit, the 't Hooft limit, in which the theory concerned often…
This note has been written on the occasion of Gerard 't Hooft's 60th birthday celebration. It is not a technical paper but just a collection of discussions that the three authors had with Gerard, mostly in relation with the idea of…
The purpose of this paper is to discuss the relevance of nondeterminism in computer science, with a special emphasis on Dijkstra's guarded commands language.
This volume of EPTCS contains the proceedings of the Fourth Workshop on Proof Exchange for Theorem Proving (PxTP 2015), held as part of the International Conference on Automated Deduction (CADE 2015) on August 2-3, 2015 in Berlin. The PxTP…
This chapter argues that the general philosophy of science should learn metaphilosophical lessons from the case of metaphysical underdetermination, as it occurs in non-relativistic quantum mechanics. Section 2 presents the traditional…
This volume consists of papers presented at the Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK) held at the University of Liverpool, UK, from July 24 to 26, 2017. TARK conferences bring together researchers…
This volume contains the proceedings of the Ninth Workshop on Fixed Points in Computer Science which took place on the September 1st, 2013 in Torino, Italy as a CSL-affiliated workshop. Past workshops have been held in Brno (1998, MFCS/CSL…
This is the written version of the opening talk at the symposium "Expectations of a Final Theory," at Trinity College, Cambridge, on September 2, 2005. It is to be published in Universe or Multiverse?, ed. B. Carr (Cambridge University…
This volume contains the proceedings of the 2nd International Workshop on Strategic Reasoning 2014 (SR 2014), held in Grenoble (France), April 5-6, 2014. The SR workshop aims to bring together researchers, possibly with different…
My assignment at this conference is to assess where we are in high-energy physics and speculate on where we might be going. This frees me from any obligation to summarize all that went on here and allows me to talk just about those topics…
This brief review, intended for high energy and astrophysics researchers, explores the implications of recent theoretical advances in string theory and the Swampland program for understanding bounds on the structure of positive potentials…
Superdeterminism - where the Measurement Independence assumption in Bell's Theorem is violated - is frequently assumed to imply implausibly conspiratorial correlations between properties $\lambda$ of particles being measured and measurement…
This volume contains the proceedings of the 11th International Workshop on Verification of Infinite-State Systems (INFINITY 2009). The workshop was held in Bologna, Italy on August 31, 2009, as a satellite event to the 20th International…
This article, in English, represents part of the invited talk delivered by the author at the "Internat.Conf.Majorana Legacy and Phys. XXI century" held at Dep. of Phys.,University of Catania, Italy, in Oct.2006: Conference organized for…