Cornell University
Library
Cornell UniversityLibrary

eCommons

Help
Log In(current)
  1. Home
  2. Cornell Computing and Information Science
  3. Computer Science
  4. Computer Science Technical Reports
  5. A Note on the Complexity of Goedel Numberings and Isomorphisms

A Note on the Complexity of Goedel Numberings and Isomorphisms

File(s)
81-466.ps (249.87 KB)
81-466.pdf (1.07 MB)
Permanent Link(s)
https://hdl.handle.net/1813/6306
Collections
Computer Science Technical Reports
Author
Kadin, Jim
Abstract

Some problems involved in looking at recursive function theory and thinking about the complexity of computations are discussed. Complexity classes of Goedel numberings are studied where a Goedel numbering is in a given complexity class if every other Goedel numbering can be translated into it by functions ina given complexity class. In particular, we look at the class of numberings that can be trnslated into by polynomial time mappings (GNP) and the class that can be translated into by linear bounded automation mappings (GNLBA). It is shown that polynomial time isomorphisms and LBA computable isomorphisms between two Goedel numberings relate the complexity of the syntax of the numberings. Since the classes GNP and GNLBA contain Goedel numberings with arbitrarily hard syntax, not all members of these classes are isomorphic by polynomial time or LBA mappings. LBA computable isomorphisms can be found between members of GNLBA whose syntax is LBA recognizable. A similar result holds for polynomial time isomorphisms and GNP if P=NP.

Date Issued
1981-08
Publisher
Cornell University
Keywords
computer science
•
technical report
Previously Published as
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR81-466
Type
technical report

Site Statistics | Help

About eCommons | Policies | Terms of use | Contact Us

copyright © 2002-2026 Cornell University Library | Privacy | Web Accessibility Assistance