Mas, voltando ao Mathgen, o melhor é que nele vemos umas provas que já são "clássicas" [risos] na literatura, como a do Teorema 5.4: "This is left as an exercise to the reader". É interessante como vários livros usam essa prova! Sem mencionar as maravilhosas provas das proposições 3.3 e 3.4 que dizem respectivamente "This is obvious." e "This is clear." [risos]
2012/10/19 Manuel Doria <manueldo...@gmail.com> > Outro Sokal hoax recente que eu não conhecia, mas foi apenas um resumo > aceito em um congresso: > > > http://whyevolutionistrue.wordpress.com/2012/09/25/a-sokal-style-hoax-by-an-anti-religious-philosopher-2/ > > > On Fri, Oct 19, 2012 at 10:53 AM, Tony Marmo <marmo.t...@gmail.com> wrote: > >> Lendo o artigo, acho que esse Mathgen já publicou muito por aí e só agora >> estão abrindo o jogo! [Risos] >> >> 2012/10/18 Joao Marcos <botoc...@gmail.com> >> >> > Quase tão divertido quanto o clássico do Sokal! >> > >> > >> http://www.physics.nyu.edu/sokal/transgress_v2/transgress_v2_singlefile.html >> > >> > JM >> > >> > On Thu, Oct 18, 2012 at 10:53 PM, Marcelo Finger <mfin...@ime.usp.br> >> > wrote: >> > > FAz tempo que eu não ria tanto ;-) >> > > >> > > 2012/10/18 Adolfo Neto <adolfo....@gmail.com> >> > > >> > >> Um paper gerado automaticamente foi aceito num "journal" >> > >> http://bit.ly/RIy39u >> > >> >> > >> -- >> > >> ================================================================== >> > >> Adolfo Neto >> > >> Assistant Professor - Federal University of Technology, Paraná >> > >> Web: http://www.dainf.ct.utfpr.edu.br/~adolfo >> > >> Twitter: http://twitter.com/adolfont >> > >> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br >> > >> ================================================================== >> > >> _______________________________________________ >> > >> Logica-l mailing list >> > >> Logica-l@dimap.ufrn.br >> > >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > >> >> > > >> > > >> > > >> > > -- >> > > Marcelo Finger >> > > Department of Computer Science, Cornell University >> > > >> > > on leave from: >> > > Departament of Computer Science, IME >> > > University of Sao Paulo >> > > http://www.ime.usp.br/~mfinger >> > > _______________________________________________ >> > > Logica-l mailing list >> > > Logica-l@dimap.ufrn.br >> > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > >> > >> > >> > -- >> > http://sequiturquodlibet.googlepages.com/ >> > _______________________________________________ >> > 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 >> > > _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l