Ouvi isso há quarenta anos. E lembro que quem me apresentou ao Newton foi o Leopoldo.
Sent from my iPhone On 10/10/2012, at 23:06, Walter Carnielli <walter.carnie...@gmail.com> wrote: > Colegas: > > Neste curioso vídeo onde o povo do IMPA agora dá aulas de Lógica no YouTube: > > http://www.youtube.com/watch?v=y47D5GvKKeA&feature=related > > 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” > > “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)) > > (ii) (∃x) (D(x) ∧ T (x)). > > Mostre que: > > (iii) (∃x) (T(x) ∧ ~ L(x)) > - - - - - - - - - - - > Pergunto: o Elon consegue mesmo concluir isso usando **somente** > Lógica Proposicional, como ele prega? > > > Abs, > > Walter > ----------------------------------------------- > Prof. Dr. Walter Carnielli > Director > Centre for Logic, Epistemology and the History of Science – CLE > State University of Campinas –UNICAMP > 13083-859 Campinas -SP, Brazil > Phone: (+55) (19) 3521-6517 > Fax: (+55) (19) 3289-3269 > Institutional e-mail: walter.carnie...@cle.unicamp.br > Website: http://www.cle.unicamp.br/prof/carnielli > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
