242 followers
@springgggg_1613 きちんと目を通しているわけではないのですが、東大出版の『ゲーデルと20世紀の論理学』と José Ferreirós "Labyrinth of Thought" (Birkhäuser) という本があります https://t.co/ldSO17KZNp https://t.co/CkfL5O6tEY
@springgggg_1613 きちんと目を通しているわけではないのですが、東大出版の『ゲーデルと20世紀の論理学』と José Ferreirós "Labyrinth of Thought" (Birkhäuser) という本があります https://t.co/ldSO17KZNp https://t.co/CkfL5O6tEY
@tejotaefe Fonte: vozes da minha cabeça, mas que ecoam o que li aqui https://t.co/kKGjXXXTPI
@abraao_pezente para vencer a barreira motivacional do "por que a matemática acadêmica se preocupe em provar o que é óbvio?", (bons) livros de História da Matemática ajudam bastante: meu favorito ainda é o https://t.co/j5Sdf5IsOg.