Кто знаком с машинами Тьюринга...Доказать, что импликация вычислимая по Тьюрингу функция. Т.е. найти такую функцию!Пожалуйста, помогите...

Дашь определения - сможем. Что такое вычислимая по Тьюрингу? Что существует машина? Тогда вообще просто.

Вот нашел в инете кое-что...Как вы думаете это то, что мне нужно?

Думаю, нет.

Оффтоп: и нафиг с этими блин машинами Тьюринга париться

Судя по всему, тебе нужно описать машину тьюринга, в которой на ленте в первых двух позициях будут X и Y, а в третьей, после завершения алгоритма, окажется X imply Y.

Это просто.

Для начала найди и напиши здесь определение машины Тьюринга.