[Logica-l] Mirando no urubú para acertar o gavião: “Nao há necessidade nenhuma de usar lógica na matemática”

2012-10-17 Thread Walter Carnielli
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

Re: [Logica-l] Mirando no urubú para acertar o gavião: “Nao há necessidade nenhuma de usar lógica na matemática”

2012-10-17 Thread Rodrigo Freire
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

Re: [Logica-l] Mirando no urubú para acertar o gavião: “Nao há necessidade nenhuma de usar lógica na matemática”

2012-10-17 Thread Rodrigo Freire
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

Re: [Logica-l] Mirando no urubú para acertar o gavião: “Nao há necessidade nenhuma de usar lógica na matemática”

2012-10-17 Thread Décio Krause
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

Re: [Logica-l] Mirando no urubú para acertar o gavião: “Nao há necessidade nenhuma de usar lógica na matemática”

2012-10-18 Thread Carlos Gonzalez
Caro Walter e lista, Existe um costume generalizado envolvendo ciência e tecnologia que é mais ou menos assim. De uma teoria científica C é derivada uma tecnologia T. Essa tecnologia é muito útil e muitas pessoas apreendem T sem ter ideia de C. Então concluem falaciosamente que C es desnecessária,

Re: [Logica-l] Mirando no urubú para acertar o gavião: “Nao há necessidade nenhuma de usar lógica na matemática”

2012-10-21 Thread Daniel Durante
Oi Carlos, Eu entendo o que você está dizendo e concordo com você. Mas a gente também precisa tomar cuidado com o abuso oposto. Você disse: De uma teoria científica C é derivada uma tecnologia T. Essa tecnologia é muito útil e muitas pessoas apreendem T sem ter ideia de C. Então concluem fa

Re: [Logica-l] Mirando no urubú para acertar o gavião: “Nao há necessidade nenhuma de usar lógica na matemática”

2012-10-21 Thread Carlos Gonzalez
Prezado Daniel, Minha escolha da palavra "desnecessária" foi infeliz. Seria mais correto dizer "insignificante", "sem nenhum valor", "um mero enfeite inútil", etc. O problema é: "será que teríamos a tecnologia T, se não for pela teoria C?". Por exemplo: "conseguiríamos ter linguagens de programaçã

Re: [Logica-l] Mirando no urubú para acertar o gavião: “Nao há necessidade nenhuma de usar lógica na matemática”

2012-10-21 Thread josé carlos cifuentes
Prezados, o Elon não está falando do que os lógicos entendem por lógica. Basta substituir na fala dele a palavra ´"lógica" por, digamos, "lógica insignificante", que é o que ele sabe, e tudo faz sentido. Um abraço. Cifuentes Em 21 de outubro de 2012 16:13, Carlos Gonzalez escreveu: > Prezado Da

Re: [Logica-l] Mirando no urubú para acertar o gavião: “Nao há necessidade nenhuma de usar lógica na matemática”

2012-10-21 Thread Daniel Durante
Carlos, Só posso dizer que concordo inteiramente com você! Eu só queria deixar claro que tanto a minha TV quanto a teoria de Hertz podem, no futuro, virem a ser substituídas por "coisas" novas, melhores, mais aprimoradas. Mas seja qual for o substituto da teoria de Hertz ele terá que explicar

Re: [Logica-l] Mirando no urubú para acertar o gavião: “Nao há necessidade nenhuma de usar lógica na matemática”

2012-10-21 Thread Daniel Durante
Oi, João Marcos, Contribuindo para o debate e para a sua apresentação na ANPOF, Obrigado por sua contribuição :) Eu não tenho nem vergonha de dizer que estou preparando minha comunicação hoje... Lamentável! Mais cedo ou mais tarde, nossos aparatos tecnológicos vão todos, sim, parar de fun