Machines de Turing réversibles. Récursive insolubilité en n ∈ N de l’équation u = θ n , où θ est un “isomorphisme de codes (0)

by Y Lecerf
Venue:Comptes Rendus