Сижу покушенный комарами и слепнями и перегревшийся.
Поэтому ссылки.
To answer indirectly, note that proofs of equivalence are not proofs of convenient equivalence. The lambda calculus is equivalent to turing machines, but TM's are rarely sugared into usable programming practice.
Интересный семинар про SSA, там есть презентация про историю разработки SSA.
...the initiatives system makes California one of the most responsive to the will of the People. По ссылке можно посмотреть на пример того, как работает истинная демократия.
И ещё про демократия: "The Obama administration opened a discussion forum in January of this year which has become an electronic suggestion box. It is now entering stage three, following brainstorm and discussion phases: the draft phase, in which the top subject matter is codified into suggestions for the government. 'Ultimately, the visitors advanced more than 3,900 ideas, which in turn spawned 11,000 comments that received 210,000 thumb votes. The result? Three of the top 10 most popular ideas called for legalizing marijuana, and two featured conspiracy theories about Mr. Obama's true place of birth.'"
To answer indirectly, note that proofs of equivalence are not proofs of convenient equivalence. The lambda calculus is equivalent to turing machines, but TM's are rarely sugared into usable programming practice.
Интересный семинар про SSA, там есть презентация про историю разработки SSA.
...the initiatives system makes California one of the most responsive to the will of the People. По ссылке можно посмотреть на пример того, как работает истинная демократия.
И ещё про демократия: "The Obama administration opened a discussion forum in January of this year which has become an electronic suggestion box. It is now entering stage three, following brainstorm and discussion phases: the draft phase, in which the top subject matter is codified into suggestions for the government. 'Ultimately, the visitors advanced more than 3,900 ideas, which in turn spawned 11,000 comments that received 210,000 thumb votes. The result? Three of the top 10 most popular ideas called for legalizing marijuana, and two featured conspiracy theories about Mr. Obama's true place of birth.'"