O formalismo matemático às vezes é exagerado aos padrões da vida cotidiana. Até mesmo o método científico já é um tanto absurdo em nossa realidade, na qual obter sucesso em 3 ou 4 tentativas nos parece suficiente para determinar um “método absolutamente seguro e fielmente testado”.
Assim, o formalismo matemático que visa desenvolver uma tautologia em torno dos fatos está muito longe de uma realidade que define “verdades” a partir de alguns poucos resultados empíricos. Com isso em mente, o foco deste blog é abordar a argumentação matemática, a formação de suas propriedades e aplicações por meio de relações com o mundo. Os posts foram desenvolvidos para abordar temas que, embora artificiais, sejam cômicos ou capazes de despertar a curiosidade do leitor, às vezes relacionando-os em contextos de ficções literárias/audiovisuais, construções lúdicas ou outros aspectos considerados de lazer, ligados a um campo totalmente abstrato que é o formalismo matemático. A partir destas construções de significados próprios, esperamos promover a valorização do estudo da matemática formal, o interesse em demonstrações, além de apresentar de maneira leve diversas propriedades e teoremas de naturezas poucos contextualizáveis.