intuitionistic math & quantum physics?

[Joao Marcos]

---------- 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

[Francisco Miraglia Neto]

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 <boto...@gmail.com> wrote:
>
> ---------- Forwarded message ---------

> --
> 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+u...@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.

[Valeria de Paiva]

>tenho indicações que Lógica Linear intuicionista não comutativa poderia...

Queremos mais informacoes, Chico!

espero que estejam todos bem,

abracos,

Valeria

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/

[Francisco Miraglia Neto]

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...@gmail.com> wrote:



[Valeria de Paiva]

Obrigada Chico!

intuicoes, motivacao e trabalho anterior, ja'  sao suficientes pra mim.

abs

Valeria

[Francisco Miraglia Neto]

Cara Valéria,

Ok, obrigado!!

Abraços,

Chico Miraglia 

On 11 Apr 2020, at 19:45, Valeria de Paiva <valeria...@gmail.com> wrote:



[Caio de Andrade Mendes]

Boa noite,

Chico, você me autoriza a compartilhar aqui na lista o PDF do teu artigo com o Coniglio?

Abraços,

Caio

--
Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br.

Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXv6jwrgNDk48qOvJ7YZJ0TjNM4WuB7eTEz6rEbnb4CKFQ%40mail.gmail.com.

[Caio de Andrade Mendes]

Car@s,

Segue o PDF do artigo do Chico Miraglia com o Marcelo Coniglio que o próprio Chico comentou.

Abraços,

Caio

[Rodrigo Freire]

Olá,

Minha impressão é que o autor propõe usar alguma versão dos números reais intuicionistas para representar o tempo e resolver paradoxos relacionados, portanto, que a ideia seria usar matemática intuicionista tipo análise e geometria para representar aspectos da realidade (tempo ou espaço), não lógica intuicionista. 

A ideia que uma análise/geometria intuicionista seria melhor para representar aspectos realidade não é nova. Um dos principais proponentes da geometria diferencial sintética, Anders Kock, deixa isso claro em seu segundo livro sobre o assunto, pp. 275-276 

( https://users-math.au.dk/~kock/SGM-final.pdf ):

"Synthetic differential geometry is a (hopefully) consistent body of notions, constructions, and assertions whose intended interpretation is geometric aspects of the real world. In this respect, it does not differ from, say, Euclid’s books. This is also the reason for the adjective “synthetic”. But just as for Euclidean geometry, mathematicians today want to have a mathematical semantics for the theory; typically in terms of an analytic model, ultimately built on the field R of real numbers (which often is thought to be even more real than the real world itself)."   

Os destaques são meus. 

É natural pensar que uma teoria em que o contínuo não é mera soma de pontos, com infinitesimais nilpotentes, como a teoria do Kock, pode se encaixar muito bem. Para entender com muito mais profundidade o problema filosófico do tempo e do movimento, recomendo o artigo:

Boccardi, E.,  Change and contradiction: a criticism of the Hegelian account of motion,  Seminário Lógica no Avião, 2019.

(Disponível em http://lna.unb.br/lna_n01_10_eboccardi.pdf )

Para quem se interessa pelo problema do tempo presente no block-universe, também mencionado no artigo, recomendo a seguinte leitura:

- Balashov, Yu., The common present in a block universe, Seminário Lógica no Avião, 2019

(Disponível em http://lna.unb.br/lna_01_09_ybalashov.pdf )

Abraço

Rodrigo

  

Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAPREE8E0JNZAaWibDaDMw7wT8_Mc2Q2TMXLPZ8_UTptXcwwO8g%40mail.gmail.com.

[Francisco Miraglia Neto]

Caro Rodrigo,

Permaneço com a minha “intuição” acerca do Lógica Linear intuicionista não comutativa que mencionei antes. Isso de forma alguma tem a intenção de se contrapor ou “desqualificar “ as referências que você  apropriadamente mencionou, que eu conheço. Porém, isso, a essa altura não passa de impressão. 

Um dia, que espero não esteja longe e na minha velhice irei voltar-me para essa questão...

Um grande abraço,

Chico Miraglia

On 11 Apr 2020, at 21:57, Rodrigo Freire <freir...@gmail.com> wrote: