Ola Itala, Andrea, Francicleber e Dória,
obrigado pelo interesse, quem sabe vocês ajudam a melhorar este, e
a inventar novos "non-classical puzzles" :-)
Já enviei a alguns de vocês o artigo em separado, mas tenho agora
uma copia da versão publicada, disponível em:
https://tinyurl.com/ybmguvru
Por favor, baixem desse site (vocês e todos os que tiverem interesse)
Acho interessante ver o que Melvin Fitting escreveu na Introdução (abaixo).
abraços,
Walter
=
Melvin Fitting , na introdução de
"Raymond Smullyan on Self Reference"
(Editors: Melvin Fitting and. Brian Rayman), Springer, 2017
Walter Carnielli: "Making the ‘Hardest Logic Puzzle Ever’ a bit Harder"
'Raymond [Smullyan] is famous for his logic puzzles, very commonly
involving self-referentiality.
In “The hardest logic puzzle ever” (The Harvard Review of Philosophy 6, pp. 62–
65, 1996), George Boolos introduced what he claimed was the hardest logic puzzle
ever, which he credited as originating with Raymond Smullyan (though it is not
one that appears in his books) but with an important complication added by John
McCarthy. There are three gods, one a liar, one a truth teller, and
one who answers
randomly. Of course you are not told which are which. In addition, answers to
yes/no questions are given in a language that you don’t understand. You must
figure out who is the truth teller, who is the liar, and who is the
randomizer, by
asking three yes/no questions. Over the years the puzzle has generated
an extensive
literature. Because of the random answerer, three valued logic is implicit in
the formulation of the puzzle, but solutions are usually considered to
be based on
classical logic. In Making the ‘Hardest Logic Puzzle Ever’ Endlessly
Harder, Walter
Carnielli considers the explicit use of three-valued logics not only for solving
the puzzle but for producing versions that, in some sense, are still
harder. Since
hardness is somewhat subjective, this is a claim about which the reader may form
his or her own opinion, but the enterprise will certainly be
sufficiently hard to
puzzle to a reader’s satisfaction.'
Em 19 de janeiro de 2018 11:40, Famadoria escreveu:
> Também. Fiquei curioso.
>
> Sent from my iPhone
>
> On 18 Jan 2018, at 10:50, Andrea Loparic wrote:
>
> Eu tenho interesse, Walter! Puramente lúdico!
> Me manda que eu preciso exercitar os neurônios!
> Beijo,
> Andrea
>
> Em 18 de janeiro de 2018 09:27, Walter Carnielli
> escreveu:
>>
>>
>> Caros colegas,
>>
>> acaba de sair um artigo de minha autoria que estende os quebra-cabeças
>> lógicos (logic puzzles) para lógicas nao-clássicas.
>>
>> Um dos resultados é que o famoso "quebra cabeça mais difícil do mundo;
>> fica mais difícil ainda, mas ainda solúvel.
>>
>> Que eu saiba é a primeira tentativa a respeito em toda a literatura.
>>
>> Como resultado secundário, aceno um pouco à teologia formal : quando
>> abrimos as portas para outras lógicas, os deuses ficam ainda mais
>> poderosos...
>>
>> O artigo saiu num volume dedicado ao Raymond Smullyan. Se alguém se
>> interessar mandarei uma cópia do pre-print em privado
>>
>> Abraços,
>>
>> Walter
>>
>> https://link.springer.com/chapter/10.1007/978-3-319-68732-2_11
>>
>>
>>
>>
>>
>>
>> --
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>> Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> Acesse esse grupo em
>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58O%2Bs45uxd165xN2yr3R6UW0zxoVDQo3Vb9gpwSFbPhPXA%40mail.gmail.com.
>
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACHAqBke7s9B2C4MN9yTQHVc2U%2BSMbe5CjTiFiV_Usoj%3DDWz8Q%40mail.gmail.com.
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/40B87E3E-9E8E-499F-9812-3C59AEDA2A7D%40gmail.com.
--