AF
их нет
Size: a a a
2021 May 29
KV
А если добавлю?
AF
у лямбды есть определение. Про числа в нём ничего нет, потому что они для тьюринг-полноты не нужны
KV
В лямбде есть числа, я даже могу предъявить конкретные термы этих чисел, а потом предложу Вам пооправдываться, чем эти числа не настоящие числа
AF
В какой-нибудь хаскелл числа встроены для компромисса, потому что на чистой лямбде это всё было бы очень непрактично (но возможно)
AF
термы лямбды не относятся к лямбде
KV
Чё-то это слишком глубокая мысль для меня
KV
Типа, в геометрии нет треугольников, потому что они явно не записаны в аксиомы?
AF
По-моему, это очень простая мысль. Система и вещи, которые можно реализовать с использованием системы — это разные вещи.
AF
Это зависит от спецификации языка. В стандарте указано, что они должны быть?
KV
Они определяются в стандартной библиотеки, не знаю, считается ли это частью стандарта. Но можно было бы не определять, тогда бы не было
[
В хаскеле ничего нет! Да и хаскеля по большому счёту тоже не существует - вы его для себя выдумали...
AF
Я просто не понимаю, зачем взрослые люди лезут в тавтологии. Тьюринг-полная система может производить любые физически возможные вычисления. Поэтому давайте будем доказывать, что любой написанный код является частью языка.