Documents / FOIA release
This unclassified article by H. Campaigne, published in the NSA Technical Journal, Vol. XIV, No. 1, gives a key to a series of 31 hypothetical radio messages from outer space that Campaigne had presented earlier. Step by step it decodes symbols for numbers, arithmetic, logic, set theory, octal notation, the rational and real numbers, limits, and finally the periodic table of the elements. The article concludes that any civilization able to send messages across space would share basic concepts of number, sets and physical constants.
Read from the scan by GLM-OCR; expect the odd misread word.
25. These parse into:
(1 and 2) JAV;
(1 and 2) and 3) JAV;
(14 and 17) JAV;
((77 and 100) and 101) JAV;
(AV $\supset$ NMV) and (BV $\supset$ NMV) = (AV and BV) $\supset$ NMV;
0 JAV;
8 JAV; 8¹ JAV; 8³ JAV; 8⁴ JAV; 8⁹ JAV; 8¹⁰ JAV;
8¹⁰⁰ JAV; BV JAV = 8⁴⁰ JAV;
(BV and CV) JAV = BV + CV JAV;
(BV and CV) JAV = BV $\times$ CV JAV;
(BV and CV) JAV = BV⁴⁰ JAV;
1/2 JAV; 1 - 2 JAV; 0 - 3 JAV; 7/6 JAV.
This verifies beyond doubt the guess of 24.
26. There is a new word, JOV. The messages read JAV JOV:
0 1 JOV; 0 : BV JAV = BV JOV;
1/2 JOV; AV and BV JOV = AV - BV JOV;
(AV and BV in JOV) and 0 $\neq$ BV = AV $\div$ BV in JOV;
1 $\div$ 0 not in JAV; 1 $\div$ 0 not in JOV;
It is true that (AV $\div$ BV) $\times$ (CV $\div$ DV) = (AV $\times$ CV) $\div$ (BV $\times$ DV);
It is true that AV $\times$ DV < BV $\times$ CV = AV $\div$ BV < CV $\div$ DV. BV $\times$ DV $\neq$ 0;
AV JAV 0 1 < AV.
JOV is seen to be the field generated by JAV, in other words, the set of rational numbers. The next to the last message has a garble, an extraneous A.
27. This transcribes to:
(AV $\cdot$ BV) and (BV = AV) = HV. AV. BV.
Clearly HV means "logically equivalent," or "...".
(AV $\cdot$ BV) = (AV = BV) and (BV = AV)
(AV $\cdot$ BV) = (AV = BV) and (BV = AV).
28. These transcribe to
$\overline{GV}^2 = 3 = \cdot$ GV not in JOV;
$\overline{GV}^2 = 2 = \cdot$ GV not in JOV;
$\overline{GV}^2 = 5 = \cdot$ GV not in JOV;
$\overline{GV}^2 = 5 = \cdot$ GV in JEV;
JOV is in JEV;
JAV is in JEV;
$\overline{GV}^2 = 0 - 1 = \cdot$ GV not in JEV.
We have a new set, containing the rationals, and at least one irrational, but not the imaginary $\sqrt{-1}$. JEV is probably the real numbers. Not linked to a story yet.
FOIA release, from the nsa collection. The PDF is mirrored here; the original link is above. The text was read from the page images by GLM-OCR; expect the odd misread word. 11 pages are in the text index: search them above, or from the library's search.