December 1990
·
113 Reads
·
1,960 Citations
This page lists works of an author who doesn't have a ResearchGate profile or hasn't added the works to their profile yet. It is automatically generated from public (personal) data to further our legitimate goal of comprehensive and accurate scientific recordkeeping. If you are this author and want this page removed, please let us know.
December 1990
·
113 Reads
·
1,960 Citations
... It asserts that any effectively calculable function is computable by a Turing machine (Turing, 1936). However, recent philosophical and logical investigations suggest boundaries to this assumption, especially regarding systems exhibiting intelligent behaviour and self-reflection (Lucas, 1961;Penrose, 1989). This paper offers a formalized challenge to the Church Thesis using Logical Stochastic Differential (LSD) modelling-an approach that blends logic, stochastic processes, and differential analysis to explore the paradoxes inherent in intelligent system computability. ...
December 1990