Accession Number:

AD0773918

Title:

A Two Counter Machine Cannot Calculate 2 sup N,

Descriptive Note:

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s):

• Schroeppel,Rich

Report Date:

1973-05-01

Pagination or Media Count:

32.0

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