конечный язык. Я в это верю, иначе как мы будем использовать это в компьютерных науках? Ну, может, и можем где-то.
Но домен (например, чисел) может быть бесконечным.
Как в типах с конечным языком можно работать с бесконечным числом чисел?
Например, формула "все натуральные числа не меньше нуля", выраженная через П-тип.
Стикер
Обсуждают сегодня