Výsledky vyhľadávania - "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ískať 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…”
Zistit podrobnosti o prístupe

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ískať 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ískať 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ískať 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ískať plný text

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

“…Intensionality is a phenomenon that occurs in logic and computation. In the most general sense, a function is intensional if it operates at a level finer than…”
Získať 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ískať 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ískať 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…”
Získať plný text

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

“…The use of a necessity modality in a typed \(\lambda\)-calculus can be used to separate it into two regions. These can be thought of as intensional vs…”
Získať plný text

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

“…Intensionality is a phenomenon that occurs in logic and computation. In the most general sense, a function is intensional if it operates at a level finer than…”
Získať 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ískať plný text