activity
20242026
most citedBiological arrow of time: Emergence of tangled information hierarchies and self-modelling dynamics

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2025

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem

Ori Livson, Mikhail Prokopenko

Incomputability results in Formal Logic and the Theory of Computation (i.e., incompleteness and undecidability) have deep implications for the foundations of mathematics and comput…