Výsledky vyhledávání - Kleene's second recursion theorem

Intensional Kleene and Rice theorems for abstract program semantics Autor Baldan, Paolo, Ranzato, Francesco, Zhang, Linpeng

“… asymptotic complexity or logical invariants, and allow us to generalise some foundational computability results such as Rice's Theorem and Kleene's Second Recursion Theorem…”
Získat plný text

From Turing machines to computer viruses Autor Marion, Jean-Yves

“… Our point of view is that Kleene's (second) recursion theorem is essential to understand self-replication mechanisms…”
Zjistit podrobnosti o přístupu

What computer science has to say about the simulation hypothesis Autor Wolpert, David

“… In particular, I use Kleene’s second recursion theorem to prove that it is mathematically possible for us to be a simulation that is being run on a computer — by us…”
Získat plný text

A Swiss Pocket Knife for Computability Autor Jones, Neil D.

“…''; and Kleene's second recursion theorem. In today's programming language parlance these are respectively partial evaluation, self-interpretation, and reflection…”
Získat plný text

Kleene's Two Kinds of Recursion Autor Kavvos, G A

“…This is an elementary expository article regarding the application of Kleene's Recursion Theorems in making definitions by recursion…”
Získat plný text

On the Semantics of Intensionality and Intensional Recursion Autor Kavvos, Georgios Alexandros

“… In computability theory, intensional recursion is enabled by Kleene's Second Recursion…”
Získat plný text

A Swiss Pocket Knife for Computability Autor Jones, Neil D

“…"; and Kleene's second recursion theorem. In today's programming language parlance these are respectively partial evaluation, self-interpretation, and reflection…”
Získat plný text

Algebra of Self-Replication Autor Moss, Lawrence S

“…Typical arguments for results like Kleene's Second Recursion Theorem and the existence of self-writing computer programs bear the fingerprints of equational reasoning and combinatory logic…”
Získat plný text

A Rice's Theorem for Abstract Semantics Autor Baldan, Paolo, Ranzato, Francesco, Zhang, Linpeng

“…Classical results in computability theory, notably Rice's theorem, focus on the extensional content of programs, namely, on the partial recursive functions that programs compute…”
Získat plný text

On the Semantics of Intensionality and Intensional Recursion Autor Kavvos, G A

“… In computability theory, intensional recursion is enabled by Kleene's Second Recursion…”
Získat plný text

Algebra of Self-Replication Autor Moss, Lawrence S.

“…Typical arguments for results like Kleene's Second Recursion Theorem and the existence of self-writing computer programs bear the fingerprints of equational reasoning and combinatory logic…”
Získat plný text

Intensionality, Intensional Recursion, and the Gödel-Löb axiom Autor Kavvos, G A

“… In contrast, data in the second region are only available as values up to ordinary equality…”
Získat plný text

Implications of computer science theory for the simulation hypothesis Autor Wolpert, David H

“… In particular, I use Kleene's second recursion theorem to prove that it is mathematically possible for us to be a simulation that is being run on a computer - by us…”
Získat plný text

Infinitary self-reference in learning theory Autor CASE, JOHN

“…Kleene's second recursion theorem provides a means for transforming any program p into a program e(p…”
Získat plný text

Constructivity conditions on immune sets: Constructivity conditions on immune sets Autor Case, John

“…: strongly effectively immune sets can not have immune complements ; whereas, the main theorem herein…”
Získat plný text

Kleene, Rogers and Rice Theorems Revisited in C and in Bash Autor Caporaso, Salvatore, Corriero, Nicola

“…The recursion theorem in the weak form {e}(z)=x(e,z) (universal function not needed…”
Získat plný text

Fixpoints for general correctness Autor Guttmann, Walter

Získat plný text

Realizability and Recursive Mathematics Autor McCarty, David Charles

“… Uealizability applies recursion-theoretic concepts to give interpretations of constructivism along lines suggested originally by Heyting and Kleene…”
Získat plný text

Chapter 1 Partial Combinatory Algebras

“…(A)-valued predicates, conditional pcas, and Longley's theorem. Some examples and important properties of pcas are also discussed and the role of recursion theory in pcas and the finite types are also focused…”
Získat plný text