Abstract:The Church-Turing Thesis confuses numerical computations with symbolic computations. In particular, any model of computability in which equality is not definable, such as the lambda-models underpinning higher-order programming languages, is not equivalent to the Turing model. However, a modern combinatory calculus, the SF-calculus, can define equality of its closed normal forms, and so yields a model of computability that is equivalent to the Turing model. This has profound implications for programming language design.
Submission history
From: Jose Vergara JV [view email]
[v1]
Mon, 27 Oct 2014 00:38:47 UTC (27 KB)
[v2]
Thu, 6 Nov 2014 02:06:02 UTC (27 KB)