Re: [Logica-l] [OFF?] a matemática como a arte de dar conselhos

2012-11-05 Por tôpico Decio Krause
JM Para lembrar: esta é basicamente a posição de Lautman, para quem a mat. é uma atividade real e não meramente tendo a finalidade de obter construções formais (Curry), devendo servir para podermos refletir sobre esse real. Para quem quiser, veja

Re: [Logica-l] [OFF?] a matemática como a arte de dar conselhos

2012-11-05 Por tôpico Decio Krause
Ops, mandei o link errado, desculpem. Acha-se fácil via Albert Lautman: Dialectics in Mathematics D JM Para lembrar: esta é basicamente a posição de Lautman, para quem a mat. é uma atividade real e não meramente tendo a finalidade de obter construções formais (Curry), devendo servir para

Re: [Logica-l] UNILOG'2013 / 15 de novembro

2012-11-05 Por tôpico Valeria de Paiva
if I don't get to know that it was sent, it doesn't seem that good to me... but whatever. cool. On Sun, Nov 4, 2012 at 12:23 PM, jean-yves beziau beziau...@gmail.comwrote: It works good Valeria, you press, and we receive it! 2012/11/4 Valeria de Paiva valeria.depa...@gmail.com hey

[Logica-l] Fwd: Call for Survey Articles (Richard Heck)

2012-11-05 Por tôpico Joao Marcos
-- Forwarded message -- Philosophia Mathematica seeks to publish half a dozen survey articles on current and emerging areas of interest in philosophy of mathematics written by early-career philosophers. Please submit a 500-word sketch of the area that you propose to survey, along

[Logica-l] How do we know that what we know is TRUE?

2012-11-05 Por tôpico Joao Marcos
How can we be certain of something? If absolute certainty isn’t possible, how close can we come? When do we know we’ve proved something? Year of Proof University of Pennsylvania, 2012-2013 https://secure.www.upenn.edu/themeyear/proof/