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,
Corporate Author:
MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB
Report Date:
1973-05-01
Abstract:
The note proves that a two counter machine cannot calculate 2 sup N. Various theorems are proven.
Pages:
0032
Contract Number:
N00014-70-A-0362-0003
File Size:
0.00MB
