Кстати, на вопрос о естественных языках можно и с другой стороны: я искренне желаю и верю, что однажды естественные языки станут достаточно просты, чтобы их было легко формализовать, и при этом не потеряют эффективности.