Lincos

Lincos
Utworzenie:	Hans Freudenthal w 1960
Cel utworzenia:	komunikacja z cywilizacjami pozaziemskimi
Lista conlangów

Lincos (łac. lingua cosmica - język kosmiczny) - sztuczny język opisany przez holenderskiego matematyka Hansa Freudenthala w 1960 r. Został tak zaprojektowany, aby być zrozumianym przez każdą inteligentną pozaziemską formę życia, dla użytku w transmisji radiowej. Freudenthal uznał, że język powinien być łatwy dla istoty niezaznajomionej ze składnią i gramatyką języków ziemskich. Lincos miał także zgromadzić cały zasób wiedzy ludzkości.

Transmisja

Słownictwo Lincosu miało zostać przetransmitowane jako pierwsze, będąc oparte na liczbach naturalnych, podstawowych działaniach i arytmetyce systemu binarnego. Następnie przesłane miały zostać koncepcje równań, nierówności, stałych oraz zmiennych wytłumaczonych na seriach przykładów, a także logika zdań, zbiorów i rachunek kwantyfikatorów.

Kolejne sekcje miały być poświęcone czasowi (czas trwania, określony moment, zdarzenia przeszłe i przyszłe) i zachowaniom (konwersacja, pytania, przeczenia, cytowanie wypowiedzi, zdobytej wiedzy, wyrażanie chęci oraz zabawy).

Czwarta sekcja miała przekazać koncepcję przestrzeni, ruchu i masy. Ostatnia sekcja miała opisywać cechy ludzi, życia na Ziemi i Układu Słonecznego. Była także planowana (ale nigdy nie napisana) druga książka uzupełniająca słownictwo o następne sekcje: "Materia", "Ziemia", "Życie" i "Zachowania II".

Nie zostały wykonane jeszcze żadne transmisje z użyciem Lincosu.

Przykładowa transmisja

Lincos	Tłumaczenie
Ha Inq Hb ?x 2x=5	Ha mówi do Hb: Ile wynosi x, jeśli 2x=5 ?
Hb Inq Ha 5/2	Hb mówi do Ha: 5/2
Ha Inq Hb Ben	Ha mówi do Hb: Dobrze.

Lincos	Tłumaczenie
Ha Inq Hb ?x 4x=10	Ha mówi do Hb: Ile wynosi x, jeśli 4x=10 ?
Hb Inq Ha 10/4	Hb mówi do Ha: 10/4
Ha Inq Hb Mal	Ha mówi do Hb: Źle
Hb Inq Ha 1/4	Hb mówi do Ha: 1/4
Ha Inq Hb Mal	Ha mówi do Hb: Źle
Hb Inq Ha 5/2	Hb mówi do Ha: 5/2
Ha Inq Hb Ben	Ha mówi do Hb: Dobrze

Proszę zauważyć różnicę między dobrze - źle a prawda - fałsz; 10/4 było prawidłowym rozwiązaniem, więc mogła zostać udzielona odpowiedź Ver (prawda), ale ułamek nie został przekształcony na nieskracalny, jak chciał tego Ha.

Lincos	Tłumaczenie
Ha Inq Hb ?x 4x=10	Ha mówi do Hb: Ile wynosi x, jeśli 4x=10?
Hb Inq Hc ?y y Inq Hb ?x 4x=10	Hb mówi do Hc: Kto pyta mnie, ile wynosi x, jeśli 4x=10?
Hc Inq Hb Ha	Hc mówi do Hb: Ha.