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 Por tôpico 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,

[Logica-l] Fwd: New PhD Program in Pure and Applied Logic (ATTN: undergrads)

2012-10-18 Por tôpico Ruy de Queiroz
-- Forwarded message -- From: Jeremy Avigad Date: Thu, Oct 18, 2012 at 4:30 PM Subject: New PhD program in Pure and Applied Logic To: Dear colleagues, The Department of Philosophy at Carnegie Mellon University is now offering a *Ph.D. in Pure and Applied Logic* as a new track i