John H. Conway

16 views
Skip to first unread message

Valeria de Paiva

unread,
Apr 13, 2020, 3:48:07 PM4/13/20
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

Rodrigo Freire

unread,
Apr 13, 2020, 7:08:53 PM4/13/20
to Valeria de Paiva, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
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."  



Abraço
Rodrigo


--
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+u...@dimap.ufrn.br.
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.

Joao Marcos

unread,
Apr 24, 2020, 5:47:24 PM4/24/20
to Valeria de Paiva, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Coluna mais recente do Marcelo Viana:
https://www1.folha.uol.com.br/colunas/marceloviana/2020/04/o-jogo-da-vida.shtml

%%%

Falar de Conway, nesta lista, me traz à mente uma discussão que
ocorreu em 2013, na qual mencionamos este artigo:

On Unsettleable Arithmetical Problems
https://www.jstor.org/stable/10.4169/amer.math.monthly.120.03.192?seq=1

Interessante também de conferir:

This is a Turing Machine implemented in Conway's Game of Life
http://rendell-attic.org/gol/tm.htm

%%%

Mantenham-se saudáveis!
JM

--
http://sequiturquodlibet.googlepages.com/
Reply all
Reply to author
Forward
0 new messages