Обсуждение:Характеристика перечислимых множеств через вычислимые функции

Претензия по сути: отсутствует доказательство 3 [math]\Rightarrow[/math] 2.

По оформлению претензий много. В определениях: во-первых, после двоеточия пишется строчная буква, даже на следующей строке. Во-вторых, перед причастным оборотом ставится запятая (первое определение). В-третьих, слова «вычислимая функция» лучше сделать ссылкой на соответствующую статью.

В доказательстве теоремы: во-первых, в псевдокоде не стоит после if писать then, тем более на следующей строке. Во-вторых, в пункте «2 [math]\Rightarrow[/math] 1» есть второе предложение, нуждающееся в переформулировке. [math]p(x)|_{TL}[/math] — это не «запустить», это некоторый объект, как видно из следующего предложения. Короче, с этим надо что-то делать. И да, зачем вокруг тире по 3 пробела?

И список литературы выглядит криво — почему вместо тире два дефиса?