Dos conjuntos às alegorias

O autor discute o significado da utilização de objetos matemáticos na representação do conhecimento. Começando com os números, passa sucessivamente a outros instrumentos formais, como conjuntos, estruturas, categorias, e um novo objeto matemático proposto por Freyd & Scedrov (1990), as alegorias. Sugere que, neste percurso, o crescimento no nível de abstração dos objetos não conduz necessariamente a um distanciamento crescente, mas significa, pelo contrário, uma progressiva aproximação da realidade.<br>The Author discusses the meaning of the use of mathematical objects in representing knowledge. Starting with numbers, he examines sucessively others formal instruments, such as sets, structures, categories, and allegories, a new object proposed by Freyd & Scedrov (1990). This way, he suggests that the growth of the abstraction level does not presuppose a necessary progressive disconnection from reality; quite the contrary, it provides an increasing contact with it.