Я предполагаю в ближайшие сто лет важную революцию в области лингвистики.
Наша речь сейчас неоднозначна и разрешает ложь. Понимание между людьми неполное, чаще интуитивное. Люди говорят примерно об одном и том же.
Революция в лингвистике позволит людям общаться на формализованном языке, где утверждение само в себе будет содержать доказательство.
Придумал это,естественно, не я, а К.Саймак(джуэйнизм в "Городе").
После этого написание правил игры (а также законов общества) станет достаточно четкой математической задачей, а замыкание правил обретет строгий смысл.
Сейчас, как легко догадаться, можно делать это лишь в каком-то приближении.
06.04.2001, Вячеслав Рожков