Search Results - Kleene's second recursion theorem

Intensional Kleene and Rice theorems for abstract program semantics by 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…”
Get full text

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

“… Our point of view is that Kleene's (second) recursion theorem is essential to understand self-replication mechanisms…”
Get more information

What computer science has to say about the simulation hypothesis by 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…”
Get full text

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

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

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

“…This is an elementary expository article regarding the application of Kleene's Recursion Theorems in making definitions by recursion…”
Get full text

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

“… In computability theory, intensional recursion is enabled by Kleene's Second Recursion…”
Get full text

A Swiss Pocket Knife for Computability by Jones, Neil D

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

Algebra of Self-Replication by 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…”
Get full text

A Rice's Theorem for Abstract Semantics by 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…”
Get full text

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

“… In computability theory, intensional recursion is enabled by Kleene's Second Recursion…”
Get full text

Algebra of Self-Replication by 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…”
Get full text

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

“… In contrast, data in the second region are only available as values up to ordinary equality…”
Get full text

Implications of computer science theory for the simulation hypothesis by 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…”
Get full text

Infinitary self-reference in learning theory by CASE, JOHN

“…Kleene's second recursion theorem provides a means for transforming any program p into a program e(p…”
Get full text

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

“…: strongly effectively immune sets can not have immune complements ; whereas, the main theorem herein…”
Get full text

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

“…The recursion theorem in the weak form {e}(z)=x(e,z) (universal function not needed…”
Get full text

Fixpoints for general correctness by Guttmann, Walter

Get full text

Realizability and Recursive Mathematics by McCarty, David Charles

“… Uealizability applies recursion-theoretic concepts to give interpretations of constructivism along lines suggested originally by Heyting and Kleene…”
Get full 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…”
Get full text