Что-то под вечер всякая чушь лезет в голову, наверное спать пора.
Вот, например, по Фридбергу следует, что существует язык программирования, на котором любую задачу можно решить единственным способом.
А кто-нибудь пытался написать компилятор/интерпретатор с этого языка, никто не знает? Или это так и осталось теоретической, до сих пор не реализованной конструкцией?
PS матлогика рулит :) интересно было бы посмотреть на такой язычок ;)
