Em sex., 3 de nov. de 2023 22:03, Joao Marcos <botoc...@gmail.com> 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 <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/CAOrCsLfmz_uZQxiAEUW6PKNDtsQ5t2HMWqO%3Dd0pw5nv_yxQ0zw%40mail.gmail.com.