(no subject)

В прошедший четверг Женя Беркович показал, как в языке PCF программируется любая вычислимая арифметическая функция, то есть, что этот язык Тьюринг-полный. Ну и продолжили про универсальную алгебру. В частности, на дом задачку оставили.