Caros,
Peço permissão para acrescentar um elemento a essa bela troca de ideias: os
questionamentos de Brouwer no que diz respeito ao papel da linguagem na
matemática estimulam uma grande reflexão, e, na minha opinião, não é à toa
que Wittgenstein é levado a retomar o trabalho sobre a relação
Oi gente,
Sim, mesmo que o matemático establishment faça aquela escolha sobre
"estar"/"pode ser"/"deve ser" do prefácio do Enderton, pra a maioria isso é só
um xiszinho numa resposta que ele não está interessado na pergunta, é isso
mesmo. Acho que eu falei isso na live também.
Abraços
[]s
Ah! Faltou dizer que uma boa crônica não só ajuda a gente a entender o
mundo, como talvez até a melhorá-lo.
Em terça-feira, 8 de agosto de 2023 às 09:27:07 UTC-3, Daniel Durante
escreveu:
> Concordo com você, Julio. Os lógicos e o pessoal dos fundamentos não são
> legisladores e nem juízes
Concordo com você, Julio. Os lógicos e o pessoal dos fundamentos não são
legisladores e nem juízes da matemática. São apenas cronistas.
Saudações,
Daniel.
Em terça-feira, 8 de agosto de 2023 às 07:54:10 UTC-3, jmstern escreveu:
> > "Todo matemático, em geral, escolhe uma das seguintes
> "Todo matemático, em geral, escolhe uma das seguintes alternativas:
> A matemática está inteiramente internalizada na Teoria dos Conjuntos;
> A matemática pode ser inteiramente internalizada na Teoria dos Conjuntos;
> A matemática deve ser inteiramente internalizada na Teoria dos Conjuntos"