Computational Irreducibility and Computational Analogy - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2015

Computational Irreducibility and Computational Analogy

Résumé

In a previous paper [1], we provided a formal definition for the concept of computational irreducibility (CIR), that is, the fact that for a function f from N to N it is impossible to compute f (n) without following approximately the same path as computing successively all the values f (i) from i = 1 to n. Our definition is based on the concept of enumerating Turing machines (E-Turing machines) and on the concept of approximation of E-Turing machines, for which we also gave a formal definition. Here, we make these definitions more precise through some modifications intended to improve the robustness of the concept. We then introduce a new concept: the computational analogy, and prove some properties of the functions used. Computational analogy is an equivalence relation that allows partitioning the set of computable functions in classes whose members have the same properties regarding their CIR and their computational complexity. Introduction 1.
Fichier principal
Vignette du fichier
Computational Irreducibility and computational Analogy.pdf (358.83 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01180360 , version 1 (02-08-2015)

Identifiants

Citer

Herve Zwirn. Computational Irreducibility and Computational Analogy. 2015. ⟨hal-01180360⟩
92 Consultations
109 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More