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 | 2578 reads
|
Browse archives
Active forum topics |
Recent comments
35 weeks 1 day ago
35 weeks 1 day ago
35 weeks 1 day ago
1 year 5 weeks ago
1 year 9 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 13 weeks ago
1 year 18 weeks ago
1 year 18 weeks ago