Accession Number : AD0773918

Title :   A Two Counter Machine Cannot Calculate 2 sup N,

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s) : Schroeppel,Rich

Report Date : MAY 1973

Pagination or Media Count : 32

Abstract : The note proves that a two counter machine cannot calculate (2 sup N). Various theorems are proven.

Descriptors :   *Computer programming, *Counters, *Mathematical logic, Number theory, Computations, Theorems

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE