|
Nov. 17th, 2009|02:12 pm |
А логбан/ложбан тоже что-то не приводит в восторг.
В общем, гипотезу считаю верной, и демонстрацию вижу в математике, в частности в деятельности тех, кто формализует физику через математику (e.g. Максвелл). Языки программирования здесь пока что не помогают, потому что они все простые, как бревно, мне кажется (возможно, всё дело в детерминизме машины Тьюринга). |
|