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 | 1602 reads
|
Browse archivesActive forum topics |
Recent comments
22 hours 48 min ago
1 week 2 hours ago
1 week 3 days ago
2 weeks 3 days ago
2 weeks 6 days ago
2 weeks 6 days ago
2 weeks 6 days ago
3 weeks 6 days ago
4 weeks 3 days ago
4 weeks 4 days ago