Suchergebnisse - Kleene's second recursion theorem

Intensional Kleene and Rice theorems for abstract program semantics von 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 …”
Volltext

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

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

What computer science has to say about the simulation hypothesis von 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 …”
Volltext

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

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

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

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

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

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

A Swiss Pocket Knife for Computability von Jones, Neil D

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

Algebra of Self-Replication von 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 …”
Volltext

A Rice's Theorem for Abstract Semantics von 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 …”
Volltext

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

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

Algebra of Self-Replication von 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 …”
Volltext

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

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

Implications of computer science theory for the simulation hypothesis von 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 …”
Volltext

Infinitary self-reference in learning theory von CASE, JOHN

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

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

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

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

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

Fixpoints for general correctness von Guttmann, Walter

Volltext

Realizability and Recursive Mathematics von McCarty, David Charles

“… Uealizability applies recursion-theoretic concepts to give interpretations of constructivism along lines suggested originally by Heyting and Kleene …”
Volltext

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 …”
Volltext