Large-size message construction for ETI: Inductive self-interpretation in LINCOS

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.