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 <botoc...@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 <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/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/CAGarh%2Baczriw08jgk8J%2BOkWCNGdKd_NZmdF54hA4cAQOpdGU3w%40mail.gmail.com.
