Triste notícia. Tomei contato em 2009 com uma parte do trabalho do Conway, o que ele e Kochen (da teoria de modelos) chamaram de Strong Free-Will Theorem. O artigo do Notices teve uma resposta com título "What does the strong free-will theorem actually prove?", também no Notices, da qual destaco a frase que conclui o primeiro parágrafo:
"We point out that for stochastic models this conclusion is not correct, while for deterministic models it is not new." https://www.ams.org/notices/201011/rtx101101451p.pdf Abraço Rodrigo On Mon, Apr 13, 2020 at 4:48 PM Valeria de Paiva <[email protected]> wrote: > > RIP John Conway https://xkcd.com/2293/ <https://t.co/TOodnONnuz?amp=1> > -- > Valeria de Paiva > http://vcvpaiva.github.io/ > http://www.cs.bham.ac.uk/~vdp/ > > -- > 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 ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXt01Qa7fpPUqqzQqssVZVHn%2BeK5Naf%2BeAUouLbLEC4hFg%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXt01Qa7fpPUqqzQqssVZVHn%2BeK5Naf%2BeAUouLbLEC4hFg%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAExWzUKefzOVMZ3byYj7Djyhg%2BZXnruLd38jjtZT599jz_1qKA%40mail.gmail.com.
