Car@s e Cara Valéria, Assim que puder envio mais detalhes. Porém algumas indicações estão no meu artigo com o Marcelo Coniglio no Journal of Pure and Applied Álgebra acerca de módulos projetivos finitamente gerados sobre C^star álgebras. Planejo voltar à essa questão in due time. A indicação que fiz é, a essa altura uma forte impressão: & deveria dar conta da incerteza e do fato de que observar interfere no observável e a ordem em que observações são feitas é importante; e seu join dual daria conta da impossibilidade de após escolha, mudar de ramo na árvore de escolha. Como escrever que um fóton é onda ou partícula?
Por enquanto, ficamos por aqui. Saber mecânica quântica é meio essencial e a questão é difícil ...E irredutível! No momento estou envolvido em algumas questões, também interessantes. acerca de anéis, Lógica e formas quadráticas. Minhas desculpas por não conseguir resistir à provocação do João!!! Abraços , Chico Miraglia > On 11 Apr 2020, at 18:27, Valeria de Paiva <valeria.depa...@gmail.com> wrote: > > > >tenho indicações que Lógica Linear intuicionista não comutativa poderia... > Queremos mais informacoes, Chico! > > espero que estejam todos bem, > abracos, > Valeria > >> On Sat, Apr 11, 2020 at 9:46 AM Francisco Miraglia Neto >> <mirag...@ime.usp.br> wrote: >> Car@s, >> >> Lógica intuicionista talvez não; mas tenho indicações que Lógica Linear >> intuicionista não comutativa poderia... >> >> Abração, >> >> Chico Miraglia >> >> >> > On 11 Apr 2020, at 13:10, Joao Marcos <botoc...@gmail.com> wrote: >> > >> > ---------- Forwarded message --------- >> > From: "Kreinovich, Vladik" >> > To: "f...@cs.nyu.edu" >> > >> > https://www.quantamagazine.org/does-time-really-flow-new-clues-come-from-a-century-old-approach-to-math-20200407/ >> > >> > I am personally not (should it be not yet?) convinced, but a serious >> > physicist Nicholas Gisin who in 2009, was awarded the First Biennial >> > John Stewart Bell Prize >> > <https://www.unige.ch/gap/quantum/news:20090816-0000-pngatfbp> for >> > Research on Fundamental Issues in Quantum Mechanics and their >> > Applications, believes that intuitionistic math can help in quantum >> > physics >> > >> > -- >> > 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 logica-l+unsubscr...@dimap.ufrn.br. >> > Para ver esta discussão na web, acesse >> > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Ljp%3DXVAAwcQBdZ4-3cgSO3ptzbpjxJpn8xR%3DPQPKr281Q%40mail.gmail.com. >> >> -- >> 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 logica-l+unsubscr...@dimap.ufrn.br. >> Para ver esta discussão na web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/FB10819E-7874-4AC8-8C64-19D94A0088E5%40ime.usp.br. > > > -- > Valeria de Paiva > http://vcvpaiva.github.io/ > http://www.cs.bham.ac.uk/~vdp/ > -- 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 logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/BDCDA2D9-CB38-45C1-8AA2-10A619EFFA8D%40ime.usp.br.