Gödel Institute

This Gödel Institute programme studies reasoning at the limits of formal systems, where proof, verification, and guarantees necessarily fail or become approximate. It connects classical incompleteness and computability to machine reasoning, uncertainty, and decision-making in simulated and partially knowable worlds.

We investigate how intelligence arises from interaction: complexity, models, agents, tools, environments, and institutions operating under constraint. The focus is on structure rather than performance, identifying when new capabilities genuinely emerge and how they can be rigorously characterised.

This Godel Institute programme examines long-horizon futures shaped by irreversibility, path dependence, and deep temporal structure. Founded by Hutan Ashrafian and drawing on work in physics, paradox, and fractal conceptions of time, it treats civilisation itself as a dynamical system evolving across scales.