Free agency and determinism: is there a sensible definition of computational sourcehood?

Marius Krumm; Markus P. Mueller

doi:10.3390/e25060903

Home/Archive/arXiv

arXiv · 2101.12033

Free agency and determinism: is there a sensible definition of computational sourcehood?

Marius Krumm·Markus P. Mueller

View original source ↗Read source document ↗Export metadata ↓

Abstract

Can free agency be compatible with determinism? Compatibilists argue that the answer is yes, and it has been suggested that the computer science principle of "computational irreducibility" sheds light on this compatibility. It implies that there cannot in general be shortcuts to predict the behavior of agents, explaining why deterministic agents often appear to act freely. In this paper, we introduce a variant of computational irreducibility that intends to capture more accurately aspects of actual (as opposed to apparent) free agency: computational sourcehood, i.e. the phenomenon that the successful prediction of a process' behavior must typically involve an almost-exact representation of the relevant features of that process, regardless of the time it takes to arrive at the prediction. We argue that this can be understood as saying that the process itself is the source of its actions, and we conjecture that many computational processes have this property. The main contribution of this paper is technical: we analyze whether and how a sensible formal definition of computational sourcehood is possible. While we do not answer the question completely, we show how it is related to finding a particular simulation preorder on Turing machines, we uncover concrete stumbling blocks towards constructing such a definition, and demonstrate that structure-preserving (as opposed to merely simple or efficient) functions between levels of simulation play a crucial role.

Explore related subjects

physics.hist-ph cs.CC

Keep this discovery

BibTeX RIS

Marius Krumm, Markus P. Mueller. 2021-01-27. Free agency and determinism: is there a sensible definition of computational sourcehood?. https://doi.org/10.3390/e25060903

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Scientific Promise

Scientists constantly face decisions about what lines of research to pursue. This Element introduces the philosophical debate about scientific pursuitworthiness. It explains how it can be rational to pursue a theory even if the theory is less well supported than its rivals, and it discusses existing philosophical frameworks for guiding pursuit decisions. The Element also develops a new perspective. Existing accounts focus predominantly on theories, while experiments are largely neglected. This is an important shortcoming. Theoretical promise depends on experimental promise, and experimental promise raises questions of its own. Drawing on the epistemology of experimentation, the Element advances an account of experimental pursuitworthiness. It is argued that such pursuitworthiness depends on experimental virtues like a clear signal and simplicity of design. Moreover, the kinds of uncertainty that constrain the assessment of scientific pursuits are examined. Finally, the Element highlights open questions in the philosophy of scientific pursuitworthiness.

physics.hist-ph↗

arXiv2026

Is Black Hole Evaporation Prediction Friendly?

Manchak and Weatherall (2018) formulate the black hole information paradox as a failure of predictability in black hole evaporation spacetimes, diagnosed by non-global hyperbolicity. I offer a strategy for resolving this paradox. I argue that failures of predictability in black hole evaporation are not well diagnosed by non-global hyperbolicity. I then consider two weakenings of global hyperbolicity: prediction and retrodiction friendliness, the failure of which could ground a new paradox. However, deidealized black hole evaporation models can be prediction and retrodiction friendly. Therefore, the information paradox cannot be based upon failures of global hyperbolicity, nor either retrodiction or prediction unfriendliness.

physics.hist-ph↗

arXiv2026

The Crab Nebula progenitor: recovering the 1054 AD supernova event as galactic Gamma-ray burst

In 1054 AD a daytime star appeared in the constellation of Taurus, for three weeks, and it was reported in various sources from Europe to China/Japan: it was one of the few documented galactic supernovae of the last two millenia. This paradigm has been established about sixty years ago, as the comprehension of the physics of supernovae progressed with enough observational data. The Gamma-ray bursts were discovered in the same period, but only in the past few years have their observations become daily and their distances have been fully understood as cosmological. After the explosion, the exponential decay of the luminosity in gamma-rays and X-rays has been followed with telescopes onboard dedicated satellites. Also the exponential decay of the afterglow's optical and radio frequencies have been observed with the largest optical and radio telescopes. Within the binary-driven hypernova framework, successful in explaining all the observed phases of the Gamma-ray bursts, the universal exponential decay can be extended to 1000 years after the burst, to account for the present values of Gamma and X-rays as well as optical and radio frequencies of the Crab Nebula. Both the daytime visibility of the burst, and the simultaneous radiation plagues appeared in Constantinople and Cairo is a strong evidence of the presence of Gamma-rays in the lower atmosphere, coming from the same source originating the Crab nebula. The association to the daytime visibility of that star and the following plague meets exactly the etymology of the word dis-aster, bad star.

physics.hist-ph↗