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 >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXv6jwrgNDk48qOvJ7YZJ0TjNM4WuB7eTEz6rEbnb4CKFQ%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > -- > 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 > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAPREE8E0JNZAaWibDaDMw7wT8_Mc2Q2TMXLPZ8_UTptXcwwO8g%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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/CAExWzU%2B8EZBQYeRi9u%2BGPOOBR%3DfY0D-gUeyoaE90vDYquc83Fg%40mail.gmail.com.
