В статье рассматривается понятие непротиворечивой (формальной) грамматики. Мы разберем, чем она отличается от правил естественных языков, как лингвисты и программисты доказывают её состоятельность, и почему создать идеально логичный «живой» язык невозможно. Вы узнаете об искусственных языках (эсперанто, ложбан, ифкуиль), доведших это стремление до совершенства, и о том, какие преимущества дает такая точность для науки, техники и мышления. Введение: грамматика как конструктор. Представьте грамматику языка как набор правил для сборки Lego...