Que gema absoluta de um #book sobre a filosofia da matemática! O livro faz uma pergunta inocente - o que estamos a fazer quando estamos a fazer matemática? Estamos a descobrir entidades ou a criar novas? O que é uma prova, afinal? O que acontece quando descobrimos que a matemática é incompleta e não pode ser formalizada? A visão do autor (com a qual concordo 100%) é que a matemática é um artefato sócio-cultural. Fazer matemática é como inventar regras de um jogo e descobrir as suas consequências. Claro, alguma matemática tem utilidade prática, mas a verdade dos objetos matemáticos não está lá fora, mas sim nas mentes de outros matemáticos que nos dão o feedback ou validação necessários. Recomendo fortemente este livro. Ele vai para a minha lista de reler.