Gostei da entrevista e obrigado pelo texto. Sem querer fomentar maior
discussão, acho que o Elon esta correto ao dizer que:
"A logica matemática é um ramo da matemática, do mesmo modo que a
Geometria, a Algebra (...) "
"Imagine um matematico: no dia-a-dia ele não sabe nada de logica
matemática.
Caros,
ou vocês não vêm o ponto, ou então estão por fora das contendas
envolvendo Lógica no BR nos últimos 25 anos.
" ele aponta não ser necessária a especialização profunda em lógica
para aplicar teoremas matemáticos."
Mas **quem ** disse que seria?
O Elon está só fazendo retórica de baix
Nesse caso, concordo com o diagnóstico do Walter.
Acho que isso fica nítido entre 2:43 e 2:57 no primeiro video em que o Elon
afirma algo do tipo:
"Houve durante uma época uma tentativa de impor que para estudar Matemática
seria preciso estudar Lógica".
Eu não sei que época foi essa, nem quem ten
Caros
De fato, o matemático sabe a lógica do dia a dia, e isso pode lhe bastar,
dependendo do que faça. O Elon deixou isso claro, mas poderia ter sido mais
condescendente com a lógica que, como se viu, ele não aprecia, e não entende
(aquela de identificar a implicação com a inclusão é do balaco
Olás,
Mais uma participaçãozinha na discussão sobre "a visão dos matemáticos
não-lógicos sobre a lógica" (acho que a coisa foi por esse caminho nos
últimos dias, então não estou falando do vídeo do Elon, hehe...).
Vou dar um exemplo prático pra vender uma idéia que vai contra o
"matemátic
Caro Decio,
Obrigado pela resposta.
Supondo que seja esse o caso, e que o Elon se dirige a matemática moderna,
me parece que as aulas do Elon apenas reforçam que para estudar matemática
é preciso conhecer a linguagem básica de conjuntos, como queria a
matemática moderna. Supostamente, é essa ling
Caro Rodrigo
Houve sim essa época, e os de minha idade devem lembrar. No início dos anos 60,
iniciaram ensino da "matemática moderna", essencialmente teoria de conjuntos,
ou "lógica", como quer o Elon, sob influência mais de Papi do que de Bourbaki.
O livro de Morris Kline, "O fracasso da mate
