gödel
→
Core
→
Pro
→
Views
pretty sure this is what Hofstadter was seeing in Gödel: that experience always finds a way out of any single system of representation, because because
no
formal system is closed the
escape hatch
always exists see also: Leibniz, Faggin, Woolf