AK
Вы правы, уточнение «анонимная» тут абсолютно необязательно
Size: a a a
2021 May 08
B
В каком именно смысле невозможно
B
Какого именно лямбда-исчисления
МБ
В прямом. Возьмите два отдельных lambda-выражения или две машины Тьюринга, как они будут взаимодействовать?
B
Что, простите? Тьюринга полны не лямбда-выражения, Тьюринг-полна модель вычислений нетипизированного лямбда-исчисления.
Вопросы параллельных вычислений — исчисления процессов. Сами исчисления процессов более чем описываемы в лямбда-исчислении с добавлением соответствующих предикатов и постулатов.
Вопросы параллельных вычислений — исчисления процессов. Сами исчисления процессов более чем описываемы в лямбда-исчислении с добавлением соответствующих предикатов и постулатов.
МБ
Лямбда-исчисление - это вполне определённое исчисление. В нём нет соответствующих предикатов и постулатов. Как и у машин Тьюринга нет соответствующих механизмов.
M
Кстати CR, это русский математик открыл
B
Не определённое, лямбда-исчислений, очевидно, несколько.
Естественно, я говорил о создании теории на базе лямбда-исчисления.
Естественно, я говорил о создании теории на базе лямбда-исчисления.
МБ
У них другие названия. Ну, и исчисление процессов не строится на лямбда-исчислении и не является его расширением... Пи-исчисление иначе устроено.
B
Его можно выразить как теорию в лямбда-исчислении.
МБ
Нельзя. Невозможно будет получить всевозможные поведения процессов. Для этого нужен недерминированный выбор, а такого в лямбда исчислении нет.
B
Речь не о том, что утверждается внутри пи-исчисления. Речь о самом пи-исчислении.
DB
Вполне определенное исчисление ? Напомню, что лямбда-исчисления являются формальной системой, где исчислимость определяется, как доказуемость(или нет) в рамках теории
МБ
Если добавить, вся эта наша любимая чистота и теории типов сломаются. А в практичных ЯП взаимодействие необходимо, поэтому одного lambda-исчисления недостаточно
МБ
Ну, да. А что не так?
DB
О какой определенности идет речь ?
МБ
Эмс... Определённости понятия.
DB
По Геделю лямбда-вычисления - синтактический характер и так существующих по Тюрингу рекурсивных функций
DB
Дайте мне определение "определенность вычислений"