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...
Gespeichert in:
| Veröffentlicht in: | Electronic Notes in Theoretical Informatics and Computer Science Jg. 3 - Proceedings of... |
|---|---|
| 1. Verfasser: | |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
23.11.2023
|
| ISSN: | 2969-2431, 2969-2431 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Schreiben Sie den ersten Kommentar!