Feature Request: Illustration of the Church - Turing thesis

[highsanburger]

Feature Request: pls add support for λ-calculus

Description

mockingbird curry

Current Behavior

$$ K = {(i, x) | \text{program i halts when run on input x}}$$

😥

Desired Behavior

$$ {\displaystyle Y=\lambda f.(\lambda x.f\ (x\ x))\ (\lambda x.f\ (x\ x))} $$

️️😁

Environment (if applicable)

(Σ, Δ, q₀, C), where:

Σ represents the input alphabet or space. Δ is the transition relation, specifying how the system evolves. q₀ is the initial state or configuration. C is the set of all possible configurations or states the system can inhabit.

Estimated Effort (optional)

O(☿) where ☿ is just a monoid in the category of endofunctors, what's the problem?

Thank you for considering this feature request!

[coldn00dles]

Bhaisaab ☠️

[SamCantCode2]

As a question and after some looking through, would this not end up being fairly non-deterministic considering we're calculating time on the basis of endofunctors and not just a basic size. We're mapping back to the input and needing to consider all possible configurations before making any sort of calculation altogether.