Effectiveness
Church's thesis equates the intuitive notion "effective" with the mathematical notion "recursive." In order for this thesis to provide any information to us we have to have a clear understanding of both notions. We consider one of the prevalent definitions of "effective...
Main Author: | Parikh, Rohit |
---|---|
Published: |
2023
|
Online Access: | https://hdl.handle.net/1721.1/148937 |
Similar Items
-
Propositional Dynamic Logics of Programs: A Survey
by: Parikh, Rohit
Published: (2023) -
A Completeness Result for a Propositional Dynamic Logic
by: Parikh, Rohit
Published: (2023) -
A Decidability Result for a Second Order Process Logic
by: Parikh, Rohit
Published: (2023) -
Definability in Dynamic Logic
by: Meyer, Albert R., et al.
Published: (2023) -
Effect of COVID-19 on tuberculosis care in a District of Western Gujarat
by: Hymn Parikh, et al.
Published: (2022-01-01)