sobre os fundamentos da matemática

[Joao Marcos]

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

[Walter Carnielli]

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 <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.

[Frode Bjørdal]

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

[Joao Marcos]

Lawrence Paulson, the father of Isabelle (the theorem-prover).

JM

[samuel]

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