Re: [Logica-l] sobre os fundamentos da matemática
Caros, Comentário rápido, sem elaborar muito, Me parece ingênuo imaginar que a Matemática não vá enfrentar novos "momentos de quebra de paradigmas" (como os bem conhecidos e descritos no texto, que são os de sempre, descoberta dos irracionais, geometrias não-euclidianas, crise dos fundamentos iniciando com Paradoxo de Russel), Ou seja, mesmo com o trabalho hercúleo dos séculos XIX e XX, Tem que ter um pessoal de plantão na área de Fundamentos para debater os novos problemas que aparecem. Porque vão aparecer... Inclusive, se Paulson está aí ligado aos theorem-provers, nossa senhora, só isso já é assunto para o pessoal de Fundamentos que está no plantão né. Abraços []s Samuel Em domingo, 5 de novembro de 2023 às 11:25:14 UTC-4, Joao Marcos escreveu: > Lawrence Paulson, the father of Isabelle (the theorem-prover). > > JM > > On Sun, Nov 5, 2023, 11:57 Frode Bjørdal wrote: > >> Who is the author? >> >> The commentary had several interesting observations, and a good one was >> expressed by the last sentence: "I give up!" >> >> I consider it to be a sociological text, and there are so many research >> programs on the Foundations of Mathematics that one cannot justify many of >> the sweeping statements which the author makes. >> >> >> Frode Alfson Bjørdal >> >> On Fri, Nov 3, 2023 at 10:03 PM Joao Marcos wrote: >> >>> O que acham os colegas disto? >>> >>> What do we mean by "the foundations of mathematics"? >>> https://lawrencecpaulson.github.io/2023/11/01/Foundations.html >>> "The world has moved on. People no longer worry about the issues that >>> were critical in the 19th century: the role of the real numbers, the >>> role of infinity, the status of infinitesimals, the very consistency >>> of mathematics. And the reason is simple: because Herculean work in >>> the 19th and 20th centuries largely banished those issues from our >>> minds." >>> >>> >>> JM >>> >>> -- >>> LOGICA-L >>> Lista acadêmica brasileira dos profissionais e estudantes da área de >>> Lógica >>> --- >>> 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 acessar esta discussão na web, acesse >>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Ljiw9HNqX3EUjo_e4wEVSCGEYGGc%3D_wC5D6QE0mGFiRKA%40mail.gmail.com >>> . >>> >> -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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 acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/283c6157-662e-48a0-958b-c3f449b36fb1n%40dimap.ufrn.br.
Re: [Logica-l] sobre os fundamentos da matemática
Lawrence Paulson, the father of Isabelle (the theorem-prover). JM On Sun, Nov 5, 2023, 11:57 Frode Bjørdal wrote: > Who is the author? > > The commentary had several interesting observations, and a good one was > expressed by the last sentence: "I give up!" > > I consider it to be a sociological text, and there are so many research > programs on the Foundations of Mathematics that one cannot justify many of > the sweeping statements which the author makes. > > > Frode Alfson Bjørdal > > On Fri, Nov 3, 2023 at 10:03 PM Joao Marcos wrote: > >> O que acham os colegas disto? >> >> What do we mean by "the foundations of mathematics"? >> https://lawrencecpaulson.github.io/2023/11/01/Foundations.html >> "The world has moved on. People no longer worry about the issues that >> were critical in the 19th century: the role of the real numbers, the >> role of infinity, the status of infinitesimals, the very consistency >> of mathematics. And the reason is simple: because Herculean work in >> the 19th and 20th centuries largely banished those issues from our >> minds." >> >> >> JM >> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica >> --- >> 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 acessar esta discussão na web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Ljiw9HNqX3EUjo_e4wEVSCGEYGGc%3D_wC5D6QE0mGFiRKA%40mail.gmail.com >> . >> > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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 acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjpYZnePHv7DUeqAq6VpmjhDShyxwZu9MxeOYPAfC2NcA%40mail.gmail.com.
Re: [Logica-l] sobre os fundamentos da matemática
Who is the author? The commentary had several interesting observations, and a good one was expressed by the last sentence: "I give up!" I consider it to be a sociological text, and there are so many research programs on the Foundations of Mathematics that one cannot justify many of the sweeping statements which the author makes. Frode Alfson Bjørdal On Fri, Nov 3, 2023 at 10:03 PM Joao Marcos wrote: > O que acham os colegas disto? > > What do we mean by "the foundations of mathematics"? > https://lawrencecpaulson.github.io/2023/11/01/Foundations.html > "The world has moved on. People no longer worry about the issues that > were critical in the 19th century: the role of the real numbers, the > role of infinity, the status of infinitesimals, the very consistency > of mathematics. And the reason is simple: because Herculean work in > the 19th and 20th centuries largely banished those issues from our > minds." > > > JM > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica > --- > 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 acessar esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Ljiw9HNqX3EUjo_e4wEVSCGEYGGc%3D_wC5D6QE0mGFiRKA%40mail.gmail.com > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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 acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGarh%2Baczriw08jgk8J%2BOkWCNGdKd_NZmdF54hA4cAQOpdGU3w%40mail.gmail.com.
Re: [Logica-l] sobre os fundamentos da matemática
Em sex., 3 de nov. de 2023 22:03, Joao Marcos escreveu: > O que acham os colegas disto? > > What do we mean by "the foundations of mathematics"? > https://lawrencecpaulson.github.io/2023/11/01/Foundations.html > "The world has moved on. People no longer worry about the issues that > were critical in the 19th century: the role of the real numbers, the > role of infinity, the status of infinitesimals, the very consistency > of mathematics. And the reason is simple: because Herculean work in > the 19th and 20th centuries largely banished those issues from our > minds." Ok, o trabalho hercúleo nos séculos 19 e 20 baniu em grande parte tais > questões de nossas mentes. E o que entrou no lugar? Ou chegamos ao fim da filosofia dos fundamentos, como queria Fukuyama com o "fim da história "? W. > > JM > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica > --- > 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 acessar esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Ljiw9HNqX3EUjo_e4wEVSCGEYGGc%3D_wC5D6QE0mGFiRKA%40mail.gmail.com > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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 acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfmz_uZQxiAEUW6PKNDtsQ5t2HMWqO%3Dd0pw5nv_yxQ0zw%40mail.gmail.com.
