Large-size message construction for ETI: Inductive self-interpretation in LINCOS |
| |
| Authors: | Alexander Ollongren |
| |
| Institution: | 1. NASA Goddard Space Flight Center, MD/Bay Area Environmental Research Institute, CA, USA;2. NASA Goddard Space Flight Center/Universities Space Research Organization, MD, USA;3. NASA Headquarters/Massachusetts Institute of Technology, MA, USA;4. Massachusetts Institute of Technology, Cambridge, MA, USA;1. School of Engineering, University of Glasgow, Scotland G12 8QQ, UK;2. Manchester Metropolitan University, School of Engineering, Manchester M1 5GD, UK;1. 187 Winchester Road, Chandlers Ford, Hampshire SO53 2DU, UK;2. International Space Elevator Consortium, 5865 East Sanna, Paradise Valley, AZ 85253, USA |
| |
| 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. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
