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

2012-11-02 Thread Joao Marcos
Should Alice marry Bob? --by Timothy Gowers http://www.spectator.co.uk/features/8744071/should-alice-marry-bob/ "You are in an airport and are walking from the main departure lounge to a rather distant gate. On the way there are several moving walkways. There is a small stone in your shoe, which i

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

2012-11-02 Thread Renato Siqueira
Caro João Marcos, Muito interessante esse paper, e o ideário nele contido. É sempre bacana pensar em matemática básica como algo mais ou menos assim" se em uma festa têm 100 pessoas, e além disso todas se cumprimentarem com um aperto de mão quantos apertos de mãos terão nessa festa?" E com essa pe

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

2012-11-05 Thread 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 file:///Users/deciokrause/Boooks%20&%20Paper

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

2012-11-05 Thread 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 pod