*************
Собственно тезис как раз в том, что любой алгоритм можно реализовать машиной Тьюринга. Т.е. мы придумали себе такое определение (все, что МТ реализует - считаем алгоритмом), а дальше от него уже можно отталкиваться и что-то доказывать.
*************
Да, что-то такое даже было.
*************
Если считать очевидным, что можно сделать такую волшебную штучку, которая будет делать XXX, то можно "доказать" что угодно, подставив вместо XXX всё, что хочется.
*************
О, боги! Обобщать-то зачем? Вот лично мне очевидно, что можно написать на тьюринге интерпретатор С. И, если дать достаточно времени и какой-нибудь немаленький стимул, я могу это даже сделать.