Category:Enguage: Difference between revisions

In his [https://en.wikipedia.org/wiki/G%C3%B6del's_incompleteness_theorems Incompletenes Theorum], Kurt Gödel devised a numbering scheme, to[https://en.wikipedia.org/wiki/G%C3%B6del_numbering representGödel mathematicalNumbering], equationsas a representation of logical proofs, so as to show that there are statements that can be made in a system which cannot be proved inby that system. This is used to express "this sentence is not provable", ultimately showing mathematics to be incomplete. This non-consecutive numbering system can be adapted to present a symbolic representationrepresentations ofin linguistics.