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.
