Кіріспе

Құрылыс тілі

Линкос (латын тіліндегі lingua cosmica фразасының аббревиатурасы) – 1960 жылы доктор Ханс Фрейденталь өзінің «Линкос: Космикалық байланыс үшін тілдің жобасы», 1-бөлім кітабында алғаш рет сипаттаған жасалған тіл. Бұл тіл жұлдызаралық радиохабарларды жіберу үшін кез келген мүмкін ақылды сыртқы тіршілік формасына түсінікті болу үшін жасалған. Фрейденталь мұндай тілдің Жер бетіндегі ешқандай тілдермен немесе синтаксиспен таныс емес жандарға оңай түсінікті болуын қажет деп ойлады. Линкос «біздің барлық білімімізді» қамти алатын етіп жобаланды.

Тұжырымдамалар мен ауқымы

Линкостың "сөздігі" қосымша хабарлардан бұрын бірінші жіберіледі. Ол табиғи сандарды үзілістер арқылы бөлінген бірнеше рет қайталанатын импульстер арқылы үйретеді. Содан кейін >, <, =, +, – белгілерін мысалдармен үйретеді. . > . Ол жердегі > белгісінен гөрі ұзақ үзіліс қажет, осылайша > белгісі шетелдікке жаңа, жеке символ екенін көрсетуге болады. Әйтпесе, ғарышкер бүкіл үлгіні белгісіз мағынасы бар жаңа символ деп қабылдауы мүмкін. = белгісін енгізгеннен кейін, ол сандарды бірліктермен белгілеуді көрсетеді: = 1, . = 2 және т.б. Ол көбейту, бөлу, айнымалылар мен тұрақтыларға, содан кейін логикалық қорытымдарға, жиын теориясына және бірінші реттік логикаға көшеді. Сұрақтарды енгізу үшін математикалық өрнектерді шешілмей қалдырады (мысалы, ? x x + 101 = 11). Линкос сөздігінің келесі бөлімі "Sec" деген сөзді секундты білдіру үшін енгізеді, әртүрлі ұзақтықтағы импульстерді ойнату арқылы, содан кейін "Sec" және секундтар санын көрсетеді, "қабылдаушы сандардың ұзақтығына пропорционалды екенін байқағанға дейін", осылайша "Sec" уақыттың бірлігі екенін және оның ұзақтығын үйретеді. Содан кейін ол ұзақты өлшеу әдістерін енгізеді, уақыт сәттерін атайды және өткен және болашақ оқиғалар туралы айтады. Үшінші бөлім, әдетте, ең күрделісі болып табылады және адамдардың мінез-құлқы мен әңгімелесуін сипаттауға қажетті ұғымдар мен тілді жеткізуге тырысады. Ол актерлердің бір-бірімен сөйлесуін, сұрақтар қоюын, келіспеуін, басқа адамдардың сөздерін келтіруін, білуін және қалауын, уәде беруін және ойын ойнауын көрсететін мысалдарды қолданады. Бірінші қадам (сандар мен сұрақтар жиынтығын енгізгеннен кейін) – импульстердің ерекше үлгілерінен жаңа символдарды енгізу, олардың сандар емес екенін айту және осы жаңа символдардың екеуін "Inq" сөзімен бөліп көрсету, содан кейін теңдеу туралы сұрақ, содан кейін символдарды кері аудару, содан кейін жауап (мысалы, төменде). Ол көптеген қайталаулардан кейін қабылдаушының осы жаңа символдар сұрақтарды қоятын және жауап беретін тұлғалар екеніне шешім қабылдайтынын күтеді, сұрақтарға басқа контекст емес. Төртінші бөлімде масса, кеңістік және қозғалыс туралы түсініктер мен тілдер сипатталады. Соңғы бөлімде адам және Күн жүйесінің физикалық ерекшеліктері сипатталады. Голландиялық-швед астрономы және математигі Александр Олонгрен Лейден университетінде конструктивті логиканы қолдана отырып әзірлеген. Фрейдентальдың Линкос туралы кітабында оны лингвистикалық және логикалық теориядан алынған көптеген техникалық терминдермен талқылайды, көбінесе оларды анықтамай, бұл оның жалпы қызығушылығын төмендетуі мүмкін, бірақ негізгі тарауларды осы техникалық терминдерсіз түсінуге болады: атаулар, байланыс, формализация, функция, лексикология, логистикалық, көрнекті, квази жалпы, семантика, синтаксис, айнымалылар және т.б.

Қолдану

Онжылдықтар бойы Линкос қолданылып, нақты хабарлар жіберілген жоқ; ол көбінесе теориялық жаттығу ретінде қалып қойды, дей тұрғанмен, канадалық астрофизиктер Иван Дютил мен Стефан Дюма Канаданың қорғаныс ғылыми-зерттеу орталығында жұмыс істеп, ғарыш цивилизацияларымен байланыс орнатуға арналған, шуға төзімді кодтау жүйесін жасады. 1999 жылы астрофизиктер Линкос тілінде хабарды кодтап, Украинадағы Евпатория RT-70 радиотелескопы арқылы жақын жұлдыздарға жіберді. Бұл «Космикалық шақыру» деп аталады. Эксперимент 2003 жылы қайталанды (басқа жақын жұлдыздар нысана ретінде пайдаланылды). Хабарда математика, физика және астрономияның негізгі принциптерін сипаттайтын бірнеше бет болды. Дютил–Дюма эксперименті «Encounter 2001» атты ұйыммен ілгерілетті. Кейбір зерттеушілер интеллектуалды жануарлармен, мысалы, киттермен байланыс орнатудың ұқсас мәселелерін зерттеді. Линкос хабарлары (радио толқындарының орнына дыбыс импульстары арқылы жіберілсе де) күрделі және мақсатты түрдің ең шыдамды, логикалық ойлайтын өкілдеріне жеткені жөн. Ал түрдің орташа өкілдеріне бағытталған қарапайым тәсіл сандарды, >, <, =, +, және уақытты қамтуы мүмкін.