>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/CAESt%3DXu5ayJeuicD1Yu-CtvmBBLMpgCEY9YsetKDE%2BA%3DZpxjsg%40mail.gmail.com.