2 ctmike

Не трать время. Давно было строго доказано, что нечеткая логика не несет ничего нового по сравнению с классической двухзначной логикой, т.е. первая полностью сводится к ней последней. То же самое относится к нечетким множествам: все что можно построить на множествах с характеристической функции со значением в произвольной булевой алгебре (это включает {0,1,2}, {0,1,2,...n}, [0,1]) эквивалентно тому, что можно построить на классических множествах с характеристической функцией в {0,1}.

Автор статьи по-видимому об этом не знает.

2 NotGonnaGetUs

>А ещё было доказано, что любую задачу которую можно решить на ЭВМ, можно решить на машине тьюринга :)

Это неверно, такого результата нет.

ЭВМ это объект реального мира, а математика занимается только абстрактными объектами, поэтому утверждение строго доказать нельзя. А абстрактным аналогом ЭВМ как раз и есть машина Тьюринга (или Поста, но это все равно) с потенциально ограниченной лентой. Но это все-таки не ЭВМ, как Вы пишите, а ее абстрактный аналог, и в такой формулировке утверждение тривиально.