Здравствуйте, Vaako, Вы писали:
V>«Теоремы» не выходят? Они получаются только в Тьюринговых болотах?
Именно. В Тьюринговых болотах теоремы доказываются элементарно, потому что правила работы МТ очень просты. Так что достаточно доказанных для МТ теорем плюс единственной теоремы о том, что реальная архитектура сводится к МТ, и все, больше ничего делать не надо.