“Visgrūtākā loģikas mīkla jebkad” kļuva vēl grūtāka

1996. gadā matemātiskais loģiķis Džordžs Būloss (iepriekš) publicēja rakstu, kurā aprakstīts visu laiku grūtākā loģikas mīkla ko viņš attiecināja uz loģiķi Raimondu Smuljanu.





Mīkla ir ieguvusi lielu uzmanību. Lūk, tā ir visā savā krāšņumā:

Trīs dievi A, B un C zināmā secībā tiek saukti par patiesajiem, nepatiesajiem un nejaušajiem. Patiesais vienmēr runā patiesi, viltus vienmēr runā nepatiesi, bet tas, vai Random runā patiesi vai nepatiesi, ir pilnīgi nejaušs jautājums. Tavs uzdevums ir noteikt A, B un C identitāti, uzdodot trīs jā-nē jautājumus; katrs jautājums ir jāuzdod tieši vienam dievam. Dievi saprot angļu valodu, bet atbildēs uz visiem jautājumiem savā valodā, kurā vārdi “jā” un “nē” ir “da” un “ja” noteiktā secībā. Jūs nezināt, kurš vārds nozīmē kuru.

Būloss saka, ka vispirms ir jāatrod Dievs, par kuru varat būt pārliecināts, ka tas nav nejaušs, un tam ir jābūt patiesam vai nepatiesam.



Izrādās, ka ir daudz veidu, kā to izdarīt. Boolos risinājums, ko viņš publicēja rakstā, bija uzdot šādu jautājumu:

Vai da nozīmē jā tad un tikai tad, ja esat patiess tad un tikai tad, ja B ir nejaušs?

kas ir līdzvērtīgs jautāšanai:



Vai ir patiess nepāra skaits no šādiem apgalvojumiem: jūs esat nepatiess, da nozīmē jā, B ir nejaušs?

Tomēr dažus gadus vēlāk citi atklāja, ka ir vienkāršāks risinājums, kas balstīts uz tādiem hipotētiskiem jautājumiem kā šis:

Ja es tev jautātu, vai tu teiktu ja?



kur Q ir kāds jautājums, piemēram, Is A Random?. To sauc par iegulto jautājumu lemmu.

Dievam ir jāatbild ja, ja patiesā atbilde uz Q ir jā, un da, ja patiesā atbilde uz Q ir nē.
Šodien neatkarīgais pētnieks Nikolajs Novožilovs ir pārveidojis Būlosa sākotnējo mīklu tādā veidā, kas padara to grūtāku.

Viņa modifikācijas mērķis ir likvidēt visas zināšanas par dievu valodu, izņemot to, ka viņi visi runā vienā valodā un lieto vienus un tos pašus vārdus jā un nē, nevis sinonīmus. Viņš to sauc par pilnīgu valodas nezināšanu.



Novožilovs saka, ka šī mīkla ir daudz grūtāka, jo tajā ir mazāk atbilžu. Es nebojāšu jautrību, atklājot viņa atbildi šeit. Saite uz papīru ir zemāk

Tomēr interesants šajā mīklā ir ieskats, ko tā sniedz valodas atklāšanas loģikā. Ņemot vērā pilnīgi nezināmu valodu – tā var būt saistīta ar svilpieniem, smakām vai vibrācijām –, Novožilova pieeja parāda, ka vienmēr ir veidi, kā iegūt svarīgas zināšanas par šo valodu ar dažiem rūpīgi izvēlētiem jautājumiem.

Protams, ir brīdinājums: jums ir jārunā ar visuzinošiem dieviem, kuri saprot angļu valodu, bet atsakās ar to runāt. Tāpēc, ja kādreiz nonākat šādā situācijā, noteikti paņemiet rokās Novožilova papīra kopiju.

Atsauce: arxiv.org/abs/1206.1926 Visu laiku grūtākā loģikas mīkla kļūst vēl grūtāka.

paslēpties