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.

Responder a