DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
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
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.
Distribution Statement:
APPROVED FOR PUBLIC RELEASE