Há uma entrevista com o Arnold no Notices da AMS (4, 1995, 432-438), e em seu "Will mathematics survive?"(Math. Intelligencer, 7 (3), 1995, 6-10). Ele desce o sarrafo em Bourbaki e indiretamente na lógica, lembrando uma frase do Thom: "sempre se pode encontrar os imbecis para fazer as provas". Arnold sim. D
________________________________ Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause ________________________________ Em 11/10/2012, às 12:39, Famadoria escreveu: > O Arnold inclusive trocou varias msgs comigo qdo tava resolvendo os problemas > dele. Arnold não. > > Sent from my iPhone > > On 11/10/2012, at 12:36, Decio Krause <deciokra...@gmail.com> wrote: > >> ...e do Arnold, esqueceu, Doria? >> >> ________________________________ >> Décio Krause >> Departamento de Filosofia >> Universidade Federal de Santa Catarina >> 88040-940 Florianópolis, SC -- Brasil >> deciokrause[at]gmail.com >> www.cfh.ufsc.br/~dkrause >> ________________________________ >> >> >> >> >> >> >> >> Em 11/10/2012, às 12:33, Famadoria escreveu: >> >>> Já disse. Isso vem do Thom e do Smale. >>> >>> Sent from my iPhone >>> >>> On 11/10/2012, at 12:07, Decio Krause <deciokra...@gmail.com> wrote: >>> >>>> Os físicos também não precisam "saber" matemática, e por aí vai. >>>> >>>> >>>> ________________________________ >>>> Décio Krause >>>> Departamento de Filosofia >>>> Universidade Federal de Santa Catarina >>>> 88040-940 Florianópolis, SC -- Brasil >>>> deciokrause[at]gmail.com >>>> www.cfh.ufsc.br/~dkrause >>>> ________________________________ >>>> >>>> >>>> >>>> >>>> >>>> >>>> >>>> Em 10/10/2012, às 23:33, Joao Marcos escreveu: >>>> >>>>>> o conhecido analista Elon Lages Lima (IMPA) afirma categoricamente >>>>>> (entre 2min40s- 3 mim) que os matemáticos não precisam saber lógica. >>>>>> Ente outras frases: >>>>>> >>>>>> “Nao há necessidade nenhuma de usar lógica na matemática” >>>>> >>>>> Bom, o que ele diz, em contexto, é que se pode ser um matemático sem >>>>> conhecer *lógica matemática*... E não é bem verdade? >>>>> >>>>>> “Toda a parte da lógica que a gente precisa saber é baseada no >>>>>> senso comum e na teoria dos conjuntos” >>>>>> >>>>>> As noções de **lógica proposicional** de fato se traduzem, sim, a >>>>>> operações sobre conjuntos: mas lógica não é, obviamente, só isso! >>>>>> Um exemplinho: >>>>>> >>>>>> (i) Nenhum número lindo é divisível por 2 >>>>>> >>>>>> (ii) Alguns números divisíveis por 2 são divisíveis por 3 >>>>>> >>>>>> Conclua que: >>>>>> (iii) algum número divisível por 3 não é lindo >>>>>> >>>>>> Usando: >>>>>> (a) L(x): x é lindo >>>>>> >>>>>> (b) D(x): x é divisível por 2 >>>>>> >>>>>> (ic) T(x): x é divisível por 3 >>>>>> >>>>>> o problema é simbolizado da seguinte maneira, (NAO na Lógica >>>>>> Proposicional, mas na Lógica de Predicados!!) >>>>>> >>>>>> - - - - - - - - - -- >>>>>> (i) (∀x) (L(x) → ~ D(x)) _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l