Ну, потому что не позволяет вычислить всё. Например, корень из 2 не вычислить. Есть, конечно, другие взгляды на вычислимость, но с позиций лямбда-исчисления такие вычисления выглядят, как зависшие программы.

Что и возвращает нас к идее о том, что разработчикам ЯП неплохо бы не ограничиваться только лямбда-исчислением или System F. Полезно по сторонам тоже смотреть.

Эквивалентность ИСО? Там ничего не говорится о каузации, и этот постулат был и в классической механике.

Каузальность. В ОТО она для всех систем отсчёта. В классической механике только для инерциальных.

Уверен, что этого нет в постулатах, так как любые утверждения о каузации являются выводными. Кроме того, это оффтоп и никак не обосновывает ваших утверждений о противоречиях.

Это есть даже в названии: общая. И это есть в постулатах. Проверьте. Но даже если и нет, будь по-вашему. Из ОТО это можно вывести, а из КМ можно вывести отрицание этого утверждения.

Я просто говорю, что программисты имеют дело с противоречиями в реальной жизни. Вычислительная физика - просто один из примеров. Если он не нравится, хотя он мне кажется наиболее волнующим, можно поговорить о синхронизации процессов и о структурах событий.

ОТО и КМ, упрощённо, описываются разными теориями. Если мы возьмём ZFC и ZF + determinacy, то мы тоже получим противоречие. Так как аксиомы выбора и детерминированности несовместимы. Это говорит только о том, что нельзя объединять эти две теории методом объединения множеств их формул.

О чём я и говорю! Формально нельзя, но в расчётах приходится.

Это ничего не говорит о противоречиях в физическом мире.

Так разве я о них говорил? Я только о моделях и расчётах.

Так то, что это противоречия, определяется лишь нашей интерпретацией. В природе вон полно противоречий. Взять противоречие между ОТО и КМ, например. И ничего, вычисляем и то, и другое, когда надо моделировать звёзды.

Ещё и про "лишь нашей интерпретацией".

Под природой, я имел в виду реалии программистской жизни. Согласен, надо было точнее выражаться.

еженедельная рубрика "превращаем X в хаскель", на этот раз на операционном столе Питон:

https://habr.com/ru/post/556548/

Это как назойливый родитель, который хочет из тебя слепить, что ему нужно, а не тебе?

Это любители ездить в Тулу со своим самоваром

For @true_grue amusement: https://arxiv.org/abs/1605.06640 😃
Programming with a Differentiable Forth Interpreter

WOW! Program transformation visualization for Scheme: https://se.cs.ubc.ca/compiler-viz/index.html

Должно быть довольно доходчиво для начинающих компиляторщиков.

Осталось заменить табы на do-end и пересадить на BEAM

Ага, спасибо, я это видел :)

THNX!