Category:Enguage: Difference between revisions

Content added Content deleted
Line 74: Line 74:


===Gödel Numbering===
===Gödel Numbering===
Kurt Gödel devised a numbering scheme to represent mathematical equations so as to show that there are statements that can be made in a system which cannot be proved in that system, ultimately showing mathematics to be incomplete. This non-consecutive numbering system can be adapted to present a symbolic representation of linguistics.
In his [https://en.wikipedia.org/wiki/G%C3%B6del's_incompleteness_theorems Incompletenes Theorum], Kurt Gödel devised a numbering scheme, [https://en.wikipedia.org/wiki/G%C3%B6del_numbering Gödel Numbering], as a representation of logical proofs, so as to show that there are statements that can be made in a system which cannot be proved by 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 representations in linguistics.


===Speech Act Theory===
===Speech Act Theory===