Category:Enguage: Difference between revisions
Content added Content deleted
Mjwheatman (talk | contribs) (→Hooks) |
Mjwheatman (talk | contribs) |
||
Line 74: | Line 74: | ||
===Gödel Numbering=== |
===Gödel Numbering=== |
||
Kurt Gödel devised a numbering scheme |
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=== |