'The Hardest Logic Puzzle Ever' gjorde enda vanskeligere

I 1996 publiserte den matematiske logikeren George Boolos (over) en artikkel som beskrev det vanskeligste logiske puslespillet noensinne som han tilskrev logikeren Raymond Smullyan.

bevis på gamle avanserte sivilisasjoner

Puslespillet har fått mye oppmerksomhet. Her er det i all sin prakt:

Tre guder A, B og C kalles, i en eller annen rekkefølge, Sant, Usant og Tilfeldig. Sant snakker alltid sant, usant snakker alltid usant, men om Random snakker sant eller usant er en helt tilfeldig sak. Din oppgave er å bestemme identiteten til A, B og C ved å stille tre ja-nei-spørsmål; hvert spørsmål må stilles til nøyaktig én gud. Gudene forstår engelsk, men vil svare på alle spørsmål på sitt eget språk der ordene for 'ja' og 'nei' er 'da' og 'ja', i en eller annen rekkefølge. Du vet ikke hvilket ord som betyr hvilket.



Boolos sier at det første grepet må være å finne en Gud du kan være sikker på at ikke er tilfeldig og derfor må være Sann eller Usann.

Det viser seg at det er mange måter å gjøre dette på. Boolos løsning, som han publiserte i avisen, var å stille følgende spørsmål:

Betyr da ja hvis og bare hvis du er sann hvis og bare hvis B er tilfeldig?

som tilsvarer å spørre:

romtid vs jordtid

Er et oddetall av følgende påstander sanne: du er falsk, da betyr ja, B er tilfeldig?

Noen år senere fant andre imidlertid ut at det fantes en enklere løsning basert på kontrafaktiske spørsmål som dette:

Hvis jeg spurte deg Q, ville du si ja?

hvor Q er et spørsmål som Er et tilfeldig?. Dette er kjent som et innebygd spørsmålslemma.

538 presidentprediksjon 2016

Gud må svare ja hvis det sannferdige svaret på Q er ja og da hvis det sannferdige svaret på Q er nei.
I dag har den uavhengige forskeren Nikolay Novozhilov modifisert Boolos originale puslespill på en måte som gjør det vanskeligere.

Hans modifikasjon er å fjerne all kunnskap om gudenes språk annet enn at de alle snakker samme språk og bruker de samme ordene for ja og nei, i stedet for synonymer. Han kaller dette fullstendig språkuvitenhet.

Novozhilov sier at dette puslespillet er mye vanskeligere fordi det har færre svar. Jeg vil ikke ødelegge moroa ved å avsløre svaret hans her. Linken til avisen er nedenfor

Det som imidlertid er interessant med dette puslespillet, er innsikten den gir i logikken til språkoppdagelse. Gitt et helt ukjent språk – det kan innebære fløyter eller lukter eller vibrasjoner – viser Novozhilovs tilnærming at det alltid er måter å trekke ut viktig kunnskap om dette språket med noen få nøye utvalgte spørsmål.

Det er selvfølgelig et forbehold: du må snakke med allvitende guder som forstår engelsk, men som nekter å snakke det. Så hvis du noen gang befinner deg i den situasjonen, sørg for å ha en kopi av Novozhilovs papir for hånden.

Ref: arxiv.org/abs/1206.1926 Det vanskeligste logiske puslespillet noensinne blir enda tøffere.

gjemme seg

Faktiske Teknologier

Kategori

Ukategorisert

Teknologi

Bioteknologi

Teknisk Politikk

Klima Forandringer

Mennesker Og Teknologi

Silicon Valley

Databehandling

Mit News Magazine

Kunstig Intelligens

Rom

Smarte Byer

Blockchain

Feature Story

Alumniprofil

Alumniforbindelse

Mit News-Funksjon

1865

Mitt Syn

77 Mass Ave

Møt Forfatteren

Profiler I Generøsitet

Sett På Campus

Alumnibrev

Nyheter

Valget 2020

Med Indeks

Under Kuppelen

Brannslange

Uendelige Historier

Pandemisk Teknologiprosjekt

Fra Presidenten

Forsidehistorie

Fotogalleri

Anbefalt