Lincos

Sayfanın 6 Mayıs 2021 tarihinde onaylanmış olan kontrol edilmiş bir sürümü, bu revizyonu temel almıştır.

Lincos (Latincede "uzay dili" anlamına gelen lingua cosmica kısaltması), ilk kez 1960 yılında Hollandalı matematikçi Dr. Hans Freudenthal tarafından Lincos: Design of a Language for Cosmic Intercourse, Part 1 kitabında tanımlanmış bir yapma dildir. Bu, herhangi bir mümkün dünya dışı zeki yaşam formu tarafından anlanabilmek ve yıldızlar arası radyo dalgalarında kullanılmak için yaratılmış bir dildir. Freudenthal böyle bir dilin Dünya'daki dilleri tanımayan varlıklar için anlaşılabilir olduğunu düşündü. Lincos, "bildiğimizin tam kütlesini" kapsayabilmek için tasarlanmıştır.

Örnekler

Freudenthal'ın eserinin 3. bölümünde bir kişinin başka bir kişiye sorular sorduğunu gösteren örnek:

Lincos cümlesi	Anlam
Ha Inq Hb ?x 2x=5	Ha, Hb'a der: 2x=5 iken x kaçtır?
Hb Inq Ha 5/2	Ha, Hb'a der: 5/2.
Ha Inq Hb Ben	Ha, Hb'a der: İyi.
Ha Inq Hb ?x 4x=10	Ha, Hb'a der: 4x=10 iken x kaçtır?
Hb Inq Ha 10/4	Ha, Hb'a der: 10/4.
Ha Inq Hb Mal	Ha, Hb'a der: Kötü.
Hb Inq Ha 1/4	Ha, Hb'a der: 1/4.
Ha Inq Hb Mal	Ha, Hb'a der: Kötü.
Hb Inq Ha 5/2	Ha, Hb'a der: 5/2.
Ha Inq Hb Ben	Ha, Hb'a der: İyi.

Meta-konuşmayı gösteren örnek:

Lincos cümlesi	Anlam
Ha Inq Hb ?x 4x=10	Ha, Hb'a der: 4x=10 iken x kaçtır?
Hb Inq Hc ?y y Inq Hb ?x 4x=10	Ha, Hb'a der: x'in 4x=10 iken kaç olduğunu soran kimdir?
Hc Inq Hb Ha	Ha, Hb'a der: Ha.