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 <[email protected]> wrote: > > > 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 > > > > > > > > > On Sat, Apr 11, 2020 at 8:11 PM Caio de Andrade Mendes <[email protected]> > wrote: >> Boa noite, >> >> Chico, você me autoriza a compartilhar aqui na lista o PDF do teu artigo com >> o Coniglio? >> >> Abraços, >> >> Caio >> >> Em sáb., 11 de abr. de 2020 às 19:45, Valeria de Paiva >> <[email protected]> escreveu: >>> Obrigada Chico! >>> intuicoes, motivacao e trabalho anterior, ja' sao suficientes pra mim. >>> abs >>> Valeria >>> >>> On Sat, Apr 11, 2020 at 3:29 PM Francisco Miraglia Neto >>> <[email protected]> wrote: >>>> 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 <[email protected]> >>>>> 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 >>>>> <[email protected]> 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 <[email protected]> wrote: >>>>>> > >>>>>> > ---------- Forwarded message --------- >>>>>> > From: "Kreinovich, Vladik" >>>>>> > To: "[email protected]" >>>>>> > >>>>>> > 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 [email protected]. >>>>>> > 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 [email protected]. >>>>>> 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/ >>>>> >>> >>> >>> -- >>> Valeria de Paiva >>> http://vcvpaiva.github.io/ >>> http://www.cs.bham.ac.uk/~vdp/ >>> >>> -- >>> 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 [email protected]. >>> 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. >> >> -- >> 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 [email protected]. >> 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. -- 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/5F82F6F0-EDD2-4F0F-8B97-1830D6B4B5F7%40ime.usp.br.
