Lawrence Paulson, the father of Isabelle (the theorem-prover). JM
On Sun, Nov 5, 2023, 11:57 Frode Bjørdal <bjordal.fr...@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 <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/CAO6j_LjpYZnePHv7DUeqAq6VpmjhDShyxwZu9MxeOYPAfC2NcA%40mail.gmail.com.