Title :
Rogers' Isomorphism Theorem and Cryptology Applications
Author :
Luis de Mello, Flavio ; Lins de Carvalho, Roberto
Abstract :
This paper presents a Theory of Computation study based on recursive functions computability and innovates by performing parallels to relevant themes of Cryptography. Hence, it is presented the Hennie\´s notion of "abstract family of algorithms" (AFA, for short) according to the authors\´ understanding, and also more judicious theorems demonstrations, many times completely different from those ones available in literature. The main issue is the Isomorphism Theorem which supports the Church-Turing Thesis and provides a connection between Cryptology and Linguistics.
Keywords :
algorithm theory; cryptography; AFA notion; Church-Turing thesis; Rogers isomorphism theorem; abstract family of algorithms; cryptology applications; linguistics; theory of computation; Cryptography; Grippers; Java; Pragmatics; Robots; Seals; Church-Turing Thesis; algorithm; fixed point theorem; isomorphism theorem; recursion theorem; recursive functions;
Journal_Title :
Latin America Transactions, IEEE (Revista IEEE America Latina)
DOI :
10.1109/TLA.2015.7164229