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.

Responder a