Autonomic life as the proof of incompleteness and Lawvere's theorem of fixed point
Lawvere's fixed point theorem on self-referential morphisms in a topos is used to argue that a time evolving autonomous system is necessarily incomplete.
scientific article; zbMATH DE number 566128