User loginNavigation |
The dream of Church and Curry realized?
First, many thanks to LtU creator(s)/contributors, I have lurked
profitably for a few years now.
LtU readers are likely aware of Church's initial attempt to use the
lambda calculus as a foundation for mathematics, and Curry's (and his
students') subsequent attempts. But perhaps readers are unaware of
this paper by Barendregt whose abstract contains the following:
These papers fulfil the program of Church and Curry to base logic on a consistent system of lambda-terms or combinators. Hitherto this program had failed because systems of ICL were either too weak (to provide a sound interpretation) or too strong (sometimes even inconsistent).While the above announcement is unlikely to cause celebration in the streets, has it had any impact on the programming language or related math communities? I'm curious about the seeming lack of fanfare re the result (it was published in 98) and also about any existing or potential applications the result may have. I look forward to LtU experts to enlighten me (and likely many other interested LtU readers). By sidhu at 2007-06-25 08:17 | LtU Forum | previous forum topic | next forum topic | other blogs | 6664 reads
|
Browse archives
Active forum topics |
Recent comments
25 weeks 4 days ago
25 weeks 4 days ago
25 weeks 4 days ago
47 weeks 5 days ago
52 weeks 19 hours ago
1 year 1 week ago
1 year 1 week ago
1 year 4 weeks ago
1 year 8 weeks ago
1 year 8 weeks ago