Здравствуйте, Erop, Вы писали:
E>Очевидно, что исходную пустую программу можно доразвить до машину Тьюринга, а дальше выразимы все алгоритмы.
E>Так что в "область связности" входит всё вычислимое...
Отличный заход. Но нет, неочевидно. И "дальше" — тоже неочевидно. Или вы предполагаете, что вы сначала уговорите компьютер создать МТ, а программу для этой МТ будете ему просто диктовать?
Тогда можно миновать этап создания МТ, и просто диктовать код C#.
А если нет — то даже после получения МТ нам придётся точно так же получать программу для неё последовательными трансформациями из "ничего".