доказательство леммы, помогите разобраться

0

1

Гляжу лекции Москвина по лямбда исчислению (ссылка на видео, ссылка на pdf-конспект).

В pdf на странице 14 есть лемма. Если P-сигма, то SN. Лектор не разобрал лемму на лекции, однако сказал что лемма из Митчелла (на амазоне), но Митчела я не нашёл чтобы купить в электронном виде. Только твёрдый переплёт. И скачать что то не смог, увы.

Потому вопрос. В лемме, что будет IH1 и IH2 (как сформулировать), так сказать для начала. Я в математике не слишком силён.

PS. Модераторы, добавьте, пжл, тег «лямбда исчисление». Спасибо.

Ссылка

←	С Новым годом!

На PS4 теперь можно установить Linux.

→

For each type $\sigma$, the predicate $P^\sigma$ satisfies the following two conditions.

If $x \, M_1 \cdots M_k \in T^\sigma$ and $SN(M_1), \cdots SN(M_k)$, then $P^\sigma(x \, M_1 \cdots M_k)$.
If $P^\sigma(M)$ then $SN(M)$.

mix_mix ★★★★★
(01.01.17 06:52:34 MSK)

Ответ на: комментарий от mix_mix 01.01.17 06:52:34 MSK

спасибо за ответ.

1) как это читать то? есть что то что можно установить и увидеть нормальный текст?

2) я понял что там IH1, IH2. На самом деле это совсем элементарно, это я что то затупил. Сейчас пытаюсь разобраться дальше.

AndreyKl ★★★★★
(01.01.17 07:23:00 MSK) автор топика
Последнее исправление: AndreyKl 01.01.17 07:23:14 MSK (всего исправлений: 1)