|
|
|
|
|
|
by jebarker
493 days ago
|
|
|
Someone first needs to design a rule set for a game that only permits the correct use of language but encompasses the entire breadth of language use. Then it's plausible. Thankfully for mathematics and code this seems plausible due to automated theorem proving. |
|
|