• 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