Information and the Limits of Intelligence
Department of AI, Data and Decision Sciences, Luiss Guido Carli University, Rome
From Metaphor to Mathematics:
Atomic Human: “Information topography” = intuitive concept
Inaccessible Game: seeks a formal definition
Rules may be inconsistent … so …
Any other disputes should be settled by loud arguments, with the owner of the game having the last word.
Munckin Rules (Jackson, 2001)
Self-governing systems cannot refer to external arbitration.
Russell’s Barber Paradox:
Does the barber shave themselves?
Forbidden:
No appeal to structure outside the game
Baez et al. (2011):
\[F(f \circ g) = F(f) + F(g)\]
\[F(\lambda f \oplus (1-\lambda)g) = \lambda F(f) + (1-\lambda)F(g)\]
Three axioms \(\Rightarrow\) unique form: \[F(f) = c(H(p) - H(q))\]
\[ \sum_{i=1}^N h_i = C \]
Initialisation: Display:
Rolls: 0
Sample mean: —
H(p): —
Outcome weights (auto-normalised to probabilities)
\[ p_i = \frac{\exp(-\lambda_1 f_1(x_i) - \ldots - \lambda_m f_m(x_i))}{Z(\lambda_1,\ldots,\lambda_m)} \] \[ Z(\ldots) = \sum_{i=1}^n \exp(-\lambda_1 f_1(x_i) - \ldots - \lambda_m f_m(x_i)) \] \[ \langle f_k \rangle = -\frac{\partial}{\partial \lambda_k}\log Z(\lambda_1,\ldots,\lambda_m) \quad k=1,2,\ldots,m. \]
\[ \sum_{i=1}^N h_i = C \]
What does this conservation imply for dynamics?
\[ I = \sum_{i=1}^N h_i - H \]
\[ I + H = C \]
Conserved quantity splits into two parts
\[ p(\mathbf{ y}|\boldsymbol{ \theta}) = \exp\!\left(\boldsymbol{ \theta}^\top T(\mathbf{ y}) - \psi(\boldsymbol{ \theta})\right) \]
A choice is axiomatically distinguished if it is uniquely identifiable within the game’s axioms — without external structure such as Hamiltonians, clocks, or coordinates.
Maximise \[ \frac{\text{d}H}{\text{d}\tau} \] subject to \(\sum_i h_i = C\)
See Lawrence (2025)
\[\frac{\text{d}H}{\text{d}t} \geq 0\]
Maxwell’s Demon: