Related papers: Some considerations on Determinism and Free Will

Individuals have opinions but can change them under the influence of others. The recent models of Sznajd (missionaries), of Deffuant et al. (negotiators), and of Krause and Hegselmann (opportunists) are reviewed here, while the voter and…

This volume contains * The post-proceedings of the Eighteenth Logical and Semantic Frameworks with Applications (LSFA 2023). The meeting was held on July 1-2, 2023, organised by the Sapienza Universit\`a di Roma, Italy. LSFA aims to bring…

We discuss, from a historiographical point of view, which was the degree of certainty that the physicists directly involved in the birth of Quantum Mechanics (Heisenberg, Born, Jordan, Dirac and Schr\"odinger) gave to the atomistic…

This paper concerns the question of which collections of general relativistic spacetimes are deterministic relative to which definitions. We begin by considering a series of three definitions of increasing strength due to Belot (1995). The…

This is an examination, a commentary, of links between some philosophical views ascribed to G\"odel and general proof theory. In these views deduction is of central concern not only in predicate logic, but in set theory too, understood from…

In this paper we intend to connect two different strands of research concerning the origin of what I shall loosely call "formal" ideas: firstly, the relation between logic and rhetoric - the theme of the 2006 Cambridge conference to which…

This is a comment on a collection of statements gathered on the occasion of the Quantum Physics of Nature meeting in Vienna.

This is an intrusion in the life and the mathematics of Norbert A'Campo, intended to be a tribute to him and an acknowledgement of his impact on those who know him and his work. The final version of this paper appears in the book ``Essays…

Despite its amazing quantitative successes and contributions to revolutionary technologies, physics currently faces many unsolved mysteries ranging from the meaning of quantum mechanics to the nature of the dark energy that will determine…

A group of fifty physicists met in Duck, NC, Nov. 6-9 to discuss the current status and future goals of hadronic physics. The main purpose of the meeting was to define the field by identifying its key issues, challenges, and opportunities.…

We establish a connection between two results in the literature on probabilistic semantics: a formulation of De Finetti's theorem in the language of category theory due to Jacobs and Staton, and the generic construction of the free…

The talks presented at the conference are summarized from an angle of a particle theorist. After presenting a personal impression on the conference, particular emphasis is placed on the spin structure of nucleons and symmetry breaking test.

This volume contains the Proceedings of the first Symposium on "Games, Automata, Logic, and Formal Verification (GandALF)", held in Minori (Amalfi coast), Italy, 17-18 June 2010. The symposium has been promoted by a number of Italian…

In quantum gravity there is no notion of absolute time. Like all other quantities in the theory, the notion of time has to be introduced "relationally", by studying the behavior of some physical quantities in terms of others chosen as a…

This is an expository paper on rationally connected varieties. The aim is to provide an introduction to the subject, as well as to discuss a recent result by T. Graber, J. Harris and J. Starr. The paper is based on the talk I gave at the…

Research Briefs: Singularity Avoidance in Canonical Quantum Gravity, by Viqar Husain What's New in LIGO, by David Shoemaker Conference reports: Scanning New Horizons: GR Beyond 4 dimensions, by Donald Marolf Quantum Gravity in the Americas…

This is a brief and updated summary of a talk given at the International Conference on Gravitation and Cosmology that took place in Poona in December 1995. It is very brief and is mostly intended as a guide to current literature, or to keep…

The study of word equations (or the existential theory of equations over free monoids) is a central topic in mathematics and theoretical computer science. The problem of deciding whether a given word equation has a solution was shown to be…

This article presents a formalism inspired by Dennett's notion of the intentional stance. Whereas Dennett's treatment of these concepts is informal, we aim to provide a more formal analogue. We introduce a framework based on stochastic…

This volume contains the proceedings of the Workshop on Partiality and Recursion in Interactive Theorem Provers (PAR 2010) which took place on July 15 in Edinburgh, UK. This workshop was held as a satellite workshop of the International…