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 <bjorda...@gmail.com> 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 <boto...@gmail.com> 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 <logi...@dimap.ufrn.br> >>> --- >>> 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 <logica-l@dimap.ufrn.br> --- 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.
