Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Bart-Floris Visscher"'
Publikováno v:
Foundations of Science. 13:5-16
We argue from the Church-Turing thesis (Kleene Mathematical logic. New York: Wiley 1967) that a program can be considered as equivalent to a formal language similar to predicate calculus where predicates can be taken as functions. We can relate such
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f0037c7bd1f9c7667135e6265051d90e
https://doi.org/10.1007/s10699-007-9115-6
https://doi.org/10.1007/s10699-007-9115-6
