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
Lawrence Paulson, the father of Isabelle (the theorem-prover).
JM
On Sun, Nov 5, 2023, 11:57 Frode Bjørdal 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
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
Em sex., 3 de nov. de 2023 22:03, Joao Marcos 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
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
