Godel, Lawvere & TGD

Abstract

The tweets of Curt Jaimungal inspired an attempt to understand Godel's incompleteness theorem and related constructions from the TGD point of view. The basic idea is that the laws of physics, as they are formulated in the TGD framework, can be regarded as analogs for the axioms of a formal system.