User loginNavigation |
Limits of ComputabilityThere are many models of computation: E.g. Recursive functions (Goedel/Herbrand), Turing maching and lambda calculus. These models can be used to explore the limits of computability. The lambda calculus is a very good model to explore the limits of computability. I have written a little paper demonstrating these limits. It avoids a lot of math and should be easy to read without loss of precision. By hbrandl at 2020-09-24 13:12 | LtU Forum | previous forum topic | next forum topic | other blogs | 2409 reads
|
Browse archives
Active forum topics
|
Recent comments
9 weeks 5 days ago
14 weeks 10 hours ago
15 weeks 4 days ago
15 weeks 4 days ago
18 weeks 2 days ago
22 weeks 6 days ago
22 weeks 6 days ago
23 weeks 2 days ago
23 weeks 2 days ago
26 weeks 1 day ago