Рекурсивные и рекурсивно-перечислимые множества

[Krull]

Насколько мне известно, рекурсивные и рекурсивно-перечислимые множества - вещи весьма разные. Так почему же в Википедии (статья "Перечислимое множество") они не различаются? может, существует какой-то иной взгляд на эти два понятия?

[epros]

Отличаются.
Вот: http://en.wikipedia.org/wiki/Recursive_set
и вот: http://en.wikipedia.org/wiki/Recursively_enumerable_set

[Krull]

Значит, это кто-то неграмотный писал статью в нашей Википедии. Надо бы исправить! :)

[nikov]

Krull в сообщении #405398 писал(а):

Надо бы исправить! :)

Поправил.

-- Сб фев 05, 2011 00:21:51 --

Кстати, это я же и лажанул.
Сам не знаю, как получилось.