
@Sibawayhi @TrueAIHound But they are non-intuitive. In any case, it is lambda calculus that is often used to present algorithms reflectively in programming. Turing is effectively useless in code meta-analysis: Church is proven more correct by experimental practice.
English


















