Algebra of Self-Replication

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. In fact, the connection of combinatory logic and computability theory is very old, and this paper extends...

Full description

Bibliographic Details

Published in:	arXiv.org
Main Author:	Moss, Lawrence S
Format:	Paper
Language:	English
Published:	Ithaca Cornell University Library, arXiv.org 19.11.2023
Subjects:	Canonical forms Classification Existence theorems Fragments Logic Software
ISSN:	2331-8422
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!