For one, Godel used the same kind of self-referential statements described in th...

coldtea on July 8, 2017 | parent | context | favorite | on: Where Do Type Systems Come From?

For one, Godel used the same kind of self-referential statements described in the article ("this proposition is not provable" etc) and used math to create a kind of enumeration of propositions and have the proposition refer to itself.