DocumentCode
22011
Title
Rogers' Isomorphism Theorem and Cryptology Applications
Author
Luis de Mello, Flavio ; Lins de Carvalho, Roberto
Volume
13
Issue
6
fYear
2015
fDate
Jun-15
Firstpage
2009
Lastpage
2016
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;
fLanguage
English
Journal_Title
Latin America Transactions, IEEE (Revista IEEE America Latina)
Publisher
ieee
ISSN
1548-0992
Type
jour
DOI
10.1109/TLA.2015.7164229
Filename
7164229
Link To Document