Интересно, а существует ли аналог критерия полноты языка по Тьюрингу для естественных языков?
There's intresting - is there analogue of Turing's completeness criteria for natural languages?
There's intresting - is there analogue of Turing's completeness criteria for natural languages?