b
вы точно тут шарите CS?
Size: a a a
2020 August 27
в
опять непонятно
в
как ты это натягиваешь на арифметику?
b
еще раз
b
возьмем лямбда–исчисление, ты можешь путем композиции банально считать числа
b
дальше ты делаешь функции, которые принимают две композиции (выражения) и дают тебе третью композицию
ΑZ
возьмем лямбда–исчисление, ты можешь путем композиции банально считать числа
но ты не можешь в обратную сторону из чисел получить лямбда-счисление
b
можешь
b
если ты продолжаешь считать термы
b
lambda terms
ΑZ
Это что-то из разряда геделевой нумерации, но я не уверен что оно сработает
b
есть две вещи
b
комбинаторная логика
b
и пропозициональная логика
b
в теории категорий эти логики полностью эквивалентны
b
это позволяет тебе всегда переходить от открытой к закрытой форме и не делать “нарушений” в процессе
b
блядь зачем я вам это рассказываю...
b
запарта же
b