Re: [Logica-l] Corona vírus nos levou John Conway

2020-04-12 Por tôpico Claus Akira Horodynski Matsushigue
Eita, desculpa o engano. Em seg, 13 de abr de 2020 02:51, Thiago Nascimento da Silva < thiagnascsi...@gmail.com> escreveu: > Há dois matemáticos com o nome John Conway, o que faleceu foi o John H. > Conway. O autor autor dos livros de Análise e Variáveis se chama John B. > Conway . > > 1: http

Re: [Logica-l] Corona vírus nos levou John Conway

2020-04-12 Por tôpico Eduardo Ochs
The Long Read: https://www.theguardian.com/science/2015/jul/23/john-horton-conway-the-most-charismatic-mathematician-in-the-world On Mon, 13 Apr 2020 at 06:51, Thiago Nascimento da Silva wrote: > > Há dois matemáticos com o nome John Conway, o que faleceu foi o John H. > Conway. O autor autor d

Re: [Logica-l] Corona vírus nos levou John Conway

2020-04-12 Por tôpico Thiago Nascimento da Silva
Há dois matemáticos com o nome John Conway, o que faleceu foi o John H. Conway. O autor autor dos livros de Análise e Variáveis se chama John B. Conway . 1: https://en.wikipedia.org/wiki/John_Horton_Conway 2: https://es.wikipedia.org/wiki/John_B._Conway Em seg., 13 de abr. de 2020 às 07:34, Cla

Re: [Logica-l] Corona vírus nos levou John Conway

2020-04-12 Por tôpico Claus Akira Horodynski Matsushigue
Nossa. Quem não estudou seus maravilhosos livros de análise funcional e variáveis complexas. Que falta de chão. John Conway. Claus Em dom, 12 de abr de 2020 22:24, Walter Carnielli < walter.carnie...@gmail.com> escreveu: > Colegas, > > Tenho a tristeza de comunicar o falecimento de John Conway h

[Logica-l] Corona vírus nos levou John Conway

2020-04-12 Por tôpico Walter Carnielli
Colegas, Tenho a tristeza de comunicar o falecimento de John Conway hoje, dia 12 de abril. de COVID-19. https://www.lucianne.com/2020/04/12/the_creator_of_the_game_life_mathematician_john_conway_died_of_covid-19_31671.html Meus sentimentos a todos. W. -- Você está recebendo esta mensagem porq

[Logica-l] Yet Time

2020-04-12 Por tôpico Francisco Miraglia Neto
Car@s, Há também a possibilidade de que a teoria de hidden variables volte à moda. Nesse caso, talvez a lógica intuicionista e a teoria das espécies nos forneça alguma luz. Estou quase arrependido de ter entrado nesta conversa, tão interessante... a “coceira” de pensar nela aumentou muito e há

[Logica-l] Ainda o tempo

2020-04-12 Por tôpico Francisco Miraglia Neto
Caro Rodrigo, Obrigado pela tua mensagem. Apontaria que há outras questões envolvidas as quais me parece que a lógica intuicionista não pode dar conta: observáveis que não comutam (i.e., operadores que não comutam),o problema (não é um paradoxo) EPD (Einstein, Podolski e Rosenberg), as variad

Re: [Logica-l] Ainda o tempo

2020-04-12 Por tôpico Rodrigo Freire
Caro Chico, Pois é, complicado entender tempo e mudança, pelo menos com o nosso aparato conceitual. Recomendei para a lista o artigo do Emiliano porque ele é muito claro ao mostrar as dificuldades principais já conhecidas. Por exemplo, a dificuldade de pensar o movimento como uma soma de imobilid

[Logica-l] Sobre viagens no tempo

2020-04-12 Por tôpico Eduardo Ochs
"Categorical Semantics for Time Travel" (2019) Nicola Pinzani, Stefano Gogioso, Bob Coecke https://arxiv.org/abs/1902.00032 Esse blog aqui tem uma série de posts que são uma introdução muito boa aos "string diagrams" do paper acima: https://graphicallinearalgebra.net/ [[]], Eduardo Ochs htt