Que #book absolutamente incrível sobre a filosofia da matemática! O livro faz uma pergunta inocente – o que estamos fazendo quando estamos fazendo matemática? Estamos descobrindo entidades ou criando 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 eu concordo 100%) é que a matemática é um artefato sociocultural. Fazer matemática é como inventar regras de um jogo e descobrir suas consequências. Claro, algumas contas matemáticas têm utilidade prática, mas a verdade dos objetos matemáticos não existe, mas sim está na mente de outros matemáticos que nos dão o feedback ou validação necessária. Recomendo fortemente este livro. Vai para minha lista de leitura de novo.