| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 1716138 | Acta Astronautica | 2011 | 5 Pages |
Abstract
Ingredients of the author's Lingua Cosmica for communication with extra-terrestrial intelligent beings are examined with self-interpretation in mind. The most important ingredients for that purpose are inductive definitions. These definitions contain ordered sequences of induction hypotheses, identified by mutually distinctive constructors. If an assertion involving an inductive definition is to be verified, all induction hypotheses must be taken into account, i.e. they must be eliminated one by one. The implementation of the elimination procedure can be expressed within LINCOS itself. Therefore the system admits self-interpretation.
Related Topics
Physical Sciences and Engineering
Engineering
Aerospace Engineering
Authors
Alexander Ollongren,