Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Computational irreducibility and compatibilism: towards a formalization   If our actions are determined by the laws of nature, can we meaningfully
claim to possess free will? Compatibilists argue that the answer is yes, and
that free will is compatible with complete determinism. Previously, it has been
suggested that the notion of computational irreducibility can shed light on
this relation: it implies that there cannot in general be "shortcuts" to the
decisions of agents, explaining why deterministic agents often appear to have
free will. In this paper, we introduce a variant of computational
irreducibility that intends to capture more accurately aspects of actual (as
opposed to apparent) free will: computational sourcehood, i.e. the phenomenon
that the successful prediction of a process' outputs 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 conjecture that
many processes have this property, and we study different possibilities for how
to formalize this conjecture in terms of universal Turing machines. While we
are not able to settle the conjecture, we give several results and
constructions that shed light on the quest for its correct formulation.

14
The categories of this paper are: math-ph
7
The categories of this paper are: hep-th
20
The categories of this paper are: acc-phys
34
The categories of this paper are: chem-ph
36
The categories of this paper are: cmp-lg
18
The categories of this paper are: econ
31
The categories of this paper are: ao-sci
24
The categories of this paper are: dg-ga
28
The categories of this paper are: alg-geom
29
The categories of this paper are: funct-an
17
The categories of this paper are: q-fin
16
The categories of this paper are: stat
15
The categories of this paper are: nucl-ex
35
The categories of this paper are: mtrl-th
37
The categories of this paper are: supr-con
9
The categories of this paper are: nlin