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 <[email protected]> escreveu: > Também. Fiquei curioso. > > Sent from my iPhone > > On 18 Jan 2018, at 10:50, Andrea Loparic <[email protected]> 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 > <[email protected]> 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 [email protected]. >> Para postar nesse grupo, envie um e-mail para [email protected]. >> 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 [email protected]. > Para postar nesse grupo, envie um e-mail para [email protected]. > 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 [email protected]. > Para postar nesse grupo, envie um e-mail para [email protected]. > 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. -- ----------------------------------------------- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Institutional e-mail: [email protected] Website: http://www.cle.unicamp.br/prof/carnielli CV Lattes : http://lattes.cnpq.br/1055555496835379 -- Você está recebendo esta mensagem porque se inscreveu 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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58OCWMagxkheNaF2NQAfto%2BH64jErO%3DU7SPHYyxrJqKP9A%40mail.gmail.com.
