AG
ну это всё так, а проблема то в чем?
Size: a a a
2021 May 08
AG
парадокс карри вычислительно это банальный бесконечный цикл
AG
слишком сильно идет вразрез с аналитическими догматами? :)
B
Нет. Просто неграмотно )
B
Не обязательно, но при помощи парадоксального Y-комбинатора можно реализовать никогда не завершающийся цикл
B
А можно установить функции множество несовместимых значений
2021 May 09
МБ
Не мог бы. У меня, к сожалению, научный взгляд на жизнь, а не философский. Если наблюдения показывают, что на бестиповых (страшный зверь, да?) языках можно писать полезный софт, который обрабатывает теории с противоречиями (можно вывести из ОТО и КМ False) и позволяет делать научные предсказания, то это факт, который надо как-то объяснять, а не игнорировать.
МБ
Так поправьте.
DF
в лямбда исчислении же все выводимо если брать ее как дедуктивную систему
DF
благодаря клини-россеру
DF
поэтому лямбда исчисление не дедуктивный формализм
DF
а, я похоже тред не прочитал, простите
B
Научный? И при этом такое пишете про противоречия?
МБ
Я же не утверждаю, что я прав, и прошу разъяснить, в чём я не прав. Но, повторюсь, люди пишут на Python, всякие программки, для обсчёта данных по уравнениям, которые выведены из постулатов, которые рассмотренные вместе, позволяют получить утверждение "A и (не А)".
МБ
Да, а пишут они их с целью получить предсказания. И иногда даже получают.
DF
а можно тогда спросить? как получается что бестиповое лямбда вычисление позволяет вычислить все что хочешь(в том числе противоречивые) и в то же время есть проблема остановки / неразрешимая задача?
МБ
Чуть более конкретно, если нужно. Утверждение А - это то, что все системы отсчёта равноправны, и наблюдатель в них видит одну и ту же причинно-следственную связь событий в любом явлении. Это постулат ОТО.
B
Из безобидного утверждения можно вывести зависание программы
B
Как раз из-за Y-комбинатора.