Related papers: Stagnant Lakatosian Research Programmes
Questioning the experimental basis of continuous descriptions of fundamental interactions we discuss classical gravity as an effective continuous first-order approximation of a discrete interaction. The sub-dominant contributions produce a…
Quantum Mechanics is revisited as the appropriate theoretical framework for the description of the outcome of experiments that rely on the use of classical devices. In particular, it is emphasized that the limitations on the measurability…
Research software refers to software development tools that accelerate discovery and simplifies access to digital infrastructures. However, although research software platforms can be built increasingly more innovative and powerful than…
Experimental program review in our field may benefit from a more quantitative framework within which to quantitatively discuss the scientific merit of a proposed program of research, and to assess the scientific merit of a particular…
We re-consider the idea that quantum fluctuations might reflect the existence of an 'objective randomness', i.e. a basic property of the vacuum state which is independent of any experimental accuracy of the observations or limited knowledge…
A detailed program is proposed in the Lagrangian formalism to investigate the dynamical behavior of a theory with singular Lagrangian. This program goes on, at different levels, parallel to the Hamiltonian analysis. In particular, we…
One of the main goals of scientific research is to provide a description of the empirical data which is as accurate and comprehensive as possible, while relying on as few and simple assumptions as possible. In this paper, I propose a…
We give the necessary and sufficient conditions for a 3-metric to be the adapted spatial metric of a static vacuum solution. This work accomplishes for the degenerate cases the already known study for the regular ones (Bartnik and Tod 2006…
Formal, mathematically rigorous programming language semantics are the essential prerequisite for the design of logics and calculi that permit automated reasoning about concurrent programs. We propose a novel modular semantics designed to…
We study a natural variant of the implicational fragment of propositional logic. Its formulas are pairs of conjunctions of positive literals, related together by an implicational-like connective; the semantics of this sort of implication is…
Scientific evaluation is a determinant of how scientists, institutions and funders behave, and as such is a key element in the making of science. In this article, we propose an alternative to the current norm of evaluating research with…
This thesis studies the categorical formalisation of quantum computing, through the prism of type theory, in a three-tier process. The first stage of our investigation involves the creation of the dagger lambda calculus, a lambda calculus…
We focus on three distinct lines of recent developments: edge modes and boundary charges in gravitational physics, relational dynamics in classical and quantum gravity, and quantum reference frames. We argue that these research directions…
We analyze the multitime statistics associated with pure dephasing systems repeatedly probed with sharp measurements, and search for measurement protocols whose statistics satisfies the Kolmogorov consistency conditions possibly up to a…
This article was motivated by the discovery of a potential new foundation for mainstream mathematics. The goals are to clarify the relationships between primitives, foundations, and deductive practice; to understand how to determine what…
The emergence of "big data" offers unprecedented opportunities for not only accelerating scientific advances but also enabling new modes of discovery. Scientific progress in many disciplines is increasingly enabled by our ability to examine…
The majority of current phylogenetic comparative methods assume that the stochastic evolutionary process is homogeneous over the phylogeny or offer relaxations of this in rather limited and usually parameter expensive ways. Here we make a…
Modern physics is founded on two mainstays: mathematical modelling and empirical verification. These two assumptions are prerequisite for the objectivity of scientific discourse. Here we show, however, that they are contradictory, leading…
This paper describes considerations behind the organisation of a third semester BSc education. The project aims to facilitate a feedback-oriented environment using assessment for learning and for incremental measure of learner progress…
We have recently presented an extension of the standard variational calculus to include the presence of deformed derivatives in the Lagrangian of a system of particles and in the Lagrangian density of field-theoretic models. Classical…